4 search results - page 1 / 1 » SMTInterpol: An Interpolating SMT Solver |
127
Voted
SPIN
2012
Springer
13 years 2 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in veriļ¬cation. We present SMTInterpol, an interpolating SMT solver for the quantiļ¬...
CADE
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
117
Voted
CADE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal veriļ¬cation. Eļ¬cient algorithms for ...
109
Voted
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...