KIT | KIT-Bibliothek | Impressum
Originalveröffentlichung
DOI: 10.1007/s10817-017-9433-5

Relational Program Reasoning Using Compiler IR : Combining Static Verification and Dynamic Analysis

Kiefer, Moritz; Klebanov, Vladimir; Ulbrich, Mattias



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Zeitschriftenaufsatz
Jahr 2017
Sprache Englisch
Identifikator ISSN: 0168-7433, 1573-0670
KITopen ID: 1000076019
Erschienen in Journal of automated reasoning
Seiten 1-27
Vorab online veröffentlicht am 30.09.2017
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page