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

Zeitschriftenartikel

Autor(en):Moritz Kiefer, Vladimir Klebanov und Mattias Ulbrich
Zeitschrift:Journal of Automated Reasoning
Jahr:2017
Links:

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},
  year = {2017},
  note = {To appear.}
}