2 search results - page 1 / 1 » Efficient Interpolant Generation in Satisfiability Modulo Li... |
57
Voted
CORR
2010
Springer
14 years 5 months ago
2010
Springer
95
Voted
CADE
2010
Springer
15 years 1 days ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...