27 search results - page 2 / 6 » Constructing Craig Interpolation Formulas |
141
click to vote
CADE
2009
Springer
15 years 10 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 verification. Efficient algorithms for ...
103
click to vote
TABLEAUX
2005
Springer
15 years 8 months ago
2005
Springer
We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are simi...
111
click to vote
JCAM
2010
14 years 10 months ago
2010
Mean value interpolation is a simple, fast, linearly precise method of smoothly interpolating a function given on the boundary of a domain. For planar domains, several properties ...
107
click to vote
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
118
click to vote
JAT
2006
15 years 3 months ago
2006
We give a simple, geometric and explicit construction of bivariate interpolation at certain points in a square (called Padua points), giving compact formulas for their fundamental...