3 search results - page 1 / 1 » Efficient Craig Interpolation for Linear Diophantine (Dis)Eq... |
CAV
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
LPAR
2010
Springer
13 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...
NA
2010
13 years 6 months ago
2010
In this paper we propose a new framework for designing a delay differential equation (DDE) solver which works with any supplied initial value problem (IVP) solver that is based on...