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

Journal Article

Author(s):Moritz Kiefer, Vladimir Klebanov, and Mattias Ulbrich
Journal:Journal of Automated Reasoning
Year:2017
DOI:10.1007/s10817-017-9433-5
Links:

Note

Online first.

BibTeX

@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},
  month = sep
}