KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Kiefer, Moritz 1; Klebanov, Vladimir 1; Ulbrich, Mattias ORCID iD icon 1
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1007/s10817-017-9433-5
Scopus
Zitationen: 17
Web of Science
Zitationen: 11
Dimensions
Zitationen: 25
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2017
Sprache Englisch
Identifikator ISSN: 0168-7433, 1573-0670
KITopen-ID: 1000076019
Erschienen in Journal of automated reasoning
Verlag Springer
Seiten 1-27
Vorab online veröffentlicht am 30.09.2017
Nachgewiesen in Dimensions
Web of Science
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page