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. |