Applying CDCL to verification and test: when laziness pays off

Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

Noch nicht die passende Literatur gefunden? → Book a Librarian

Treffer 1 von 1


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

Online-Zugriff

Archivobjekt öffnen

Treffer 1 von 1

Korrekturanfrage