Propositional Interpolation and Abstract Interpretation
Algorithms for computing Craig interpolants have several applications in program verification. Though different algorithms exist, the relationship between them and the properties of the interpolants they generate are not well understood. This paper is a study of interpolation algorithms for proposit...
Main Author: | D'Silva, V |
---|---|
Format: | Conference item |
Published: |
Springer.
2010
|
Similar Items
-
Logical abstract interpretation
by: D'Silva, V, et al.
Published: (2013) -
Lifting Propositional Interpolants to the Word−Level
by: Kroening, D, et al.
Published: (2007) -
Interpolation−based verification of floating−point programs with abstract CDCL
by: Brain, M, et al.
Published: (2013) -
Interpolation-based verification of floating-point programs with abstract CDCL
by: Brain, M, et al.
Published: (2013) -
An abstract interpretation of DPLL(T)
by: Brain, M, et al.
Published: (2013)