@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
Author(s): | Moritz Kiefer, Vladimir Klebanov, and Mattias Ulbrich |
---|---|
Journal: | Journal of Automated Reasoning |
Number: | 3 |
Volume: | 60 |
Year: | 2017 |
Pages: | 337-363 |
DOI: | 10.1007/s10817-017-9433-5 |
Links: | Preprint The final publication is available at Springer |