|
Link zu diesem Datensatz
|
https://d-nb.info/1134967969
|
Art des Inhalts
|
Hochschulschrift
|
Titel
|
Applying CDCL to verification and test: when laziness pays off
|
Person(en)
|
Scheibler, Karsten (Verfasser) Becker, Bernd (Akademischer Betreuer)
|
Organisation(en)
|
Albert-Ludwigs-Universität Freiburg im Breisgau. Lehrstuhl für Rechnerarchitektur (Mitwirkender) Albert-Ludwigs-Universität Freiburg. Institut für Informatik (Mitwirkender) Albert-Ludwigs-Universität Freiburg. Fakultät für Angewandte Wissenschaften (Grad-verleihende Institution) Albert-Ludwigs-Universität Freiburg (Verlag)
|
Verlag
|
Freiburg : Universität
|
Zeitliche Einordnung
|
Erscheinungsdatum: 2017
|
Umfang/Format
|
Online-Ressource (pdf)
|
Hochschulschrift
|
Dissertation, Albert-Ludwigs-Universität Freiburg, 2017
|
Persistent Identifier
|
URN: urn:nbn:de:bsz:25-freidok-126694 DOI: 10.6094/UNIFR/12669
|
URL
|
https://freidok.uni-freiburg.de/data/12669 (kostenfrei zugänglich)
|
Sprache(n)
|
Englisch (eng)
|
Anmerkungen
|
cc_by_nc_nd http://creativecommons.org/licenses/by-nc-nd/4.0/deed.de cc
|
Schlagwörter
|
SMT Solver ; Gleitkommarechnung ; ATPG ; Verifikation ; Programmverifikation ; Hybrides System ; Cyber-physisches System ; Eingebettetes System ; Bounded Model Checking ; Integrierte Schaltung ; Craig-Interpolation ; Informatik
|
Sachgruppe(n)
|
004 Informatik
|