KIT | KIT-Bibliothek | Impressum | Datenschutz

Verifikation von systemnaher Software mittels Bounded Model Checking

Post, Hendrik

Open Access Logo


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