@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 |