An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions

An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions

Show other versions (1)

Bibliographic Details
Main Authors:	Kroening, D, Weissenbacher, G
Format:	Conference item
Published:	Springer 2010

Similar Items

An interpolating decision procedure for transitive relations with uninterpreted functions
by: Kroening, D, et al.
Published: (2009)

Instantiating uninterpreted functional units and memory system: functional verification of the VAMP processor
by: Beyer, S, et al.
Published: (2003)

Lifting Propositional Interpolants to the Word−Level
by: Kroening, D, et al.
Published: (2007)

Interpolant Strength
by: D'Silva, V, et al.
Published: (2010)

Restructuring Resolution Refutations for Interpolation
by: D'Silva, V, et al.
Published: (2008)

Program analysis with interpolants
by: Weissenbacher, G, et al.
Published: (2010)

Program Analysis with Interpolants
by: Weissenbacher, G
Published: (2010)

Solving Uninterpreted Equations with Context Free Expression Grammars
by: McAllester, David Allen
Published: (2004)

Decision Procedures – an Algorithmic Point of View
by: Kroening, D, et al.
Published: (2008)

Preface: Special Issue on Interpolation
by: Kroening, D, et al.
Published: (2016)

Interpolation of functions /
by: 317613 Szabados, J., et al.
Published: (1990)

A Multi-Crystal Method for Extracting Obscured Crystallographic States from Conventionally Uninterpretable Electron Density
by: Pearce, N, et al.
Published: (2017)

Coverage in interpolation-based model checking
by: Chockler, H, et al.
Published: (2010)

Resolution Decision Procedures for the Guarded Fragment with Transitive Guards
by: Kazakov, Y, et al.
Published: (2015)

Spline functions and multivariate interpolations /
by: 282331 Bojanov, B. D., et al.
Published: (1993)

Approximation Refinement for Interpolation−Based Model Checking
by: D'Silva, V, et al.
Published: (2008)

Approximation Refinement for Interpolation−Based Model Checking
by: D'Silva, V, et al.
Published: (2008)

Computing mutation coverage in interpolation-based model checking
by: Chockler, H, et al.
Published: (2012)

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
by: Kazakov, Y
Published: (2004)

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
by: Kazakov, Y, et al.
Published: (2004)

Beyond quantifier-free interpolation in extensions of presburger arithmetic
by: Brillout, A, et al.
Published: (2011)

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic.
by: Brillout, A, et al.
Published: (2011)

Verification and falsification of programs with loops using predicate abstraction.
by: Kroening, D, et al.
Published: (2010)

An interpolating sequent calculus for quantifier-free Presburger arithmetic
by: Brillout, A, et al.
Published: (2011)

Verification and Falsification of Programs with Loops Using Predicate Abstraction
by: Kroening, D, et al.
Published: (2009)

Counterexamples with Loops for Predicate Abstraction
by: Kroening, D, et al.
Published: (2006)

State-based motion transitions using framespace interpolation
by: Golam, Ashraf.
Published: (2008)

Smooth cubic spline interpolation functions /
by: 299351 Denman, Harry H.

On some interpolation problems for analytic functions /
by: 433566 Shapiro, H. S., et al.

Birkhoff interpolation /
by: 199501 Lorentz, G. G., et al.
Published: (1983)

Interpolation /
by: 317323 Steffensen, Johan Frederik
Published: (1950)

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)

Convergence of linear barycentric rational interpolation for analytic functions
by: Guettel, S, et al.
Published: (2012)

Interpolation and approximation by rational functions in the complex domain /
by: 349555 Walsh, J. L.
Published: (1969)

Interpolation theory, function spaces, differential operators /
by: 220872 Triebel, Hans
Published: (1978)

STATE-SPACE ALGORITHM FOR THE COMPUTATION OF SUPEROPTIMAL MATRIX INTERPOLATING FUNCTIONS
by: Limebeer, D, et al.
Published: (1989)

Radial Basis Functions for Multivariable Interpolation : a review /
by: 336677 Powell, M. J. D.

A Complete Bounded Model Checking Algorithm for Pushdown Systems
by: Basler, G, et al.
Published: (2007)

SAT−based Summarisation for Boolean Programs
by: Basler, G, et al.
Published: (2007)