KIT | KIT-Bibliothek | Impressum | Datenschutz

Efficient Verification of Programs with Complex Data Structures Using SMT Solvers

Liu, Tianhai

Open Access Logo


Volltext §
DOI: 10.5445/IR/1000084545
Veröffentlicht am 24.07.2018
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Hochschulschrift
Jahr 2018
Sprache Englisch
Identifikator urn:nbn:de:swb:90-845456
KITopen-ID: 1000084545
Verlag KIT, Karlsruhe
Umfang XVI, 157 S.
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Theoretische Informatik (ITI)
Prüfungsdatum 11.07.2018
Referent/Betreuer Prof. B. Beckert
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page