Interpolant Strength

Abstract

Interpolant-based model checking is an approximate method for computing invariants of transition systems. The performance of the model checker is contingent on the approximation computed, which in turn depends on the logical strength of the interpolants. A good approximation is coarse enough to enable rapid convergence but strong enough to be contained… (More)
DOI: 10.1007/978-3-642-11319-2_12

Topics

Statistics

020402009201020112012201320142015201620172018
Citations per Year

75 Citations

Semantic Scholar estimates that this publication has 75 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{DSilva2010InterpolantS, title={Interpolant Strength}, author={Vijay D'Silva and Daniel Kroening and Mitra Purandare and Georg Weissenbacher}, booktitle={VMCAI}, year={2010} }