Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Anvesh Komuravelli' in GoogleThis author has not been identified. Look up 'Nikolaj Bjørner' in GoogleThis author has not been identified. Look up 'Arie Gurfinkel' in GoogleThis author has not been identified. Look up 'Kenneth L. McMillan' in Google

runs on WebDSL