Relational Program Reasoning Using Compiler IR : Combining Static Verification and Dynamic Analysis
Kiefer, Moritz 1; Klebanov, Vladimir 1; Ulbrich, Mattias
1
1 Karlsruher Institut für Technologie (KIT)
11 Karlsruher Institut für Technologie (KIT)
| 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 |