Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays.

Anvesh Komuravelli, Nikolaj S. Bjrner, Arie Gurfinkel, Kenneth L. McMillan

Browse the full FMCAD paper archive.