2 search results - page 1 / 1 » An Interpolating Sequent Calculus for Quantifier-Free Presbu... |
CADE
2010
Springer
15 years 21 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...
178
Voted
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...