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...
| Những tác giả chính: | , , , |
|---|---|
| Định dạng: | Conference item |
| Được phát hành: |
Springer
2010
|