Interpolant Strength
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 c...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2010
|