KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Volltext
DOI: 10.5445/IR/1000084545
Veröffentlicht am 24.07.2018

Efficient Verification of Programs with Complex Data Structures Using SMT Solvers

Liu, Tianhai



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Hochschulschrift
Jahr 2018
Sprache Englisch
Identifikator URN: urn:nbn:de:swb:90-845456
KITopen ID: 1000084545
Verlag 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