Sciweavers

Share
CADE
2009
Springer

Interpolation and Symbol Elimination

11 years 11 months ago
Interpolation and Symbol Elimination
Abstract. We prove several results related to local proofs, interpolation and suion calculus and discuss their use in predicate abstraction and invariant generation. Our proofs and results suggest that symbol-eliminating inferences may be an interesting alternative to interpolation.
Andrei Voronkov, Laura Kovács
Added 23 Nov 2009
Updated 23 Nov 2009
Type Conference
Year 2009
Where CADE
Authors Andrei Voronkov, Laura Kovács
Comments (0)
books