@Article{KieferKlebanovUlbrich2017,
author = {Moritz Kiefer and Vladimir Klebanov and Mattias Ulbrich},
title = {Relational Program Reasoning Using Compiler {IR} -- Combining Static Verification and Dynamic Analysis},
journal = {Journal of Automated Reasoning},
doi = {10.1007/s10817-017-9433-5},
year = {2017},
volume = {60},
number = {3},
pages = {337--363},
month = sep
}
Relational Program Reasoning Using Compiler IR – Combining Static Verification and Dynamic Analysis
| Autor(en): | Moritz Kiefer, Vladimir Klebanov und Mattias Ulbrich |
|---|---|
| Zeitschrift: | Journal of Automated Reasoning |
| Nummer: | 3 |
| Band: | 60 |
| Jahr: | 2017 |
| Seiten: | 337-363 |
| DOI: | 10.1007/s10817-017-9433-5 |
| Links: | Preprint The final publication is available at Springer |