KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Kiefer, Moritz; Klebanov, Vladimir; Ulbrich, Mattias



Originalveröffentlichung
DOI: 10.1007/s10817-017-9433-5
Scopus
Zitationen: 2
Seitenaufrufe: 4
seit 04.05.2018
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
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
Nachgewiesen in Web of Science
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page