Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays (bibtex)

Reference:

Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays (), In Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015., 2015.

Bibtex Entry:

@inproceedings{DBLP:conf/fmcad/KomuravelliBGM15,
  author    = {Anvesh Komuravelli and
               Nikolaj Bj{\o}rner and
               Arie Gurfinkel and
               Kenneth L. McMillan},
  title     = {Compositional Verification of Procedural Programs using Horn Clauses
               over Integers and Arrays},
  booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas,
               USA, September 27-30, 2015.},
  pages     = {89--96},
  year      = {2015},
  timestamp = {Thu, 07 Jan 2016 15:56:54 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/KomuravelliBGM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}