Automating Regression Verification of Pointer Programs by Predicate Abstraction

Journal Article

Author(s):Vladimir Klebanov, Philipp Rümmer, and Mattias Ulbrich
Journal:Journal on Formal Methods in System Design
Publisher:Springer
Year: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
}