KIT | KIT-Bibliothek | Impressum | Datenschutz

Verifikation von systemnaher Software mittels Bounded Model Checking

Post, Hendrik


Volltext §
DOI: 10.5445/IR/1000011473
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Hochschulschrift
Publikationsjahr 2009
Sprache Deutsch
Identifikator urn:nbn:de:swb:90-114738
KITopen-ID: 1000011473
Verlag Universität Karlsruhe (TH)
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Theoretische Informatik (ITI)
Prüfungsdaten 24.04.2009
Schlagwörter Verifikation, Software Verifikation, Bounded Model Checking
Referent/Betreuer Sinz, C.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page