Anvesh Komuravelli, Nikolaj Bjørner, Arie Gurfinkel, Kenneth L. McMillan. Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays. In Roope Kaivola, Thomas Wahl, editors, Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015. pages 89-96, IEEE, 2015.
@inproceedings{KomuravelliBGM15,
title = {Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays},
author = {Anvesh Komuravelli and Nikolaj Bjørner and Arie Gurfinkel and Kenneth L. McMillan},
year = {2015},
researchr = {https://researchr.org/publication/KomuravelliBGM15},
cites = {0},
citedby = {0},
pages = {89-96},
booktitle = {Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015},
editor = {Roope Kaivola and Thomas Wahl},
publisher = {IEEE},
isbn = {978-0-9835678-5-1},
}