Conference item icon

Conference item

Interpolant Strength

Abstract:

Interpolant-based model checking is a SAT-based, approximate method for computing inductive 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 within the weakest inductive invariant. We present a system for constructing propositional interpolants of different stren...

Expand abstract

Actions


Access Document


Authors


Publisher:
Springer
Volume:
5944
Publication date:
2010-01-01
DOI:
URN:
uuid:d25fd5cd-e905-46b0-a538-67a5aefb2df1
Local pid:
cs:3308

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP