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
Nummer:3
Band:60
Jahr:2017
Seiten:337-363
DOI:10.1007/s10817-017-9433-5
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},
  doi       = {10.1007/s10817-017-9433-5},
  year      = {2017},
  volume    = {60},
  number    = {3},
  pages     = {337--363},
  month = sep
}