The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report)
[article]
2013
arXiv
pre-print
One of the main challenges in software verification is efficient and precise compositional analysis of programs with procedures and loops. Interpolation methods remain one of the most promising techniques for such verification, and are closely related to solving Horn clause constraints. We introduce a new notion of interpolation, disjunctive interpolation, which solve a more general class of problems in one step compared to previous notions of interpolants, such as tree interpolants or
arXiv:1301.4973v1
fatcat:r3z4mxo26zcd5doo32utxqrcry