Automating Regression Verification of Pointer Programs by Predicate Abstraction

Zeitschriftenartikel

Autor(en):Vladimir Klebanov, Philipp Rümmer und Mattias Ulbrich
Zeitschrift:Journal on Formal Methods in System Design
Verleger:Springer
Jahr:2017
DOI:10.1007/s10703-017-0293-8
Links:

BibTeX

@Article{KlebanovRuemmerUlbrich2017,
  title = {Automating Regression Verification of Pointer Programs by Predicate Abstraction},
  doi = {10.1007/s10703-017-0293-8},
  author = {Vladimir Klebanov and Philipp R{\"u}mmer and Mattias Ulbrich},
  publisher = {Springer},
  journal = {Journal on Formal Methods in System Design},
  year = {2017},
  month= aug
}