An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions

An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions

Mostrar otras versiones (1)

Detalles Bibliográficos
Autores principales:	Kroening, D, Weissenbacher, G
Formato:	Conference item
Publicado:	Springer 2010

Ejemplares similares

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

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

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

Interpolant Strength
por: D'Silva, V, et al.
Publicado: (2010)

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

Program analysis with interpolants
por: Weissenbacher, G, et al.
Publicado: (2010)

Program Analysis with Interpolants
por: Weissenbacher, G
Publicado: (2010)

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

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

Preface: Special Issue on Interpolation
por: Kroening, D, et al.
Publicado: (2016)

Interpolation of functions /
por: 317613 Szabados, J., et al.
Publicado: (1990)

Decision procedures : an algorithmic point of view /
por: 483434 Kroening, Daniel, et al.
Publicado: (c200)

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

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

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

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

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

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

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

Interpolation : cubic spline interpolation and hermite interpolation /
por: 495552 Gan, Loon Keat, et al.
Publicado: (2004)

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

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

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

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

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

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

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

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

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

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

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

Birkhoff interpolation /
por: 199501 Lorentz, G. G., et al.
Publicado: (1983)

Interpolation /
por: 317323 Steffensen, Johan Frederik
Publicado: (1950)

Bivariate interpolation and smooth surface fitting based on local procedures [E2] /
por: 451300 Hiroshi, Akima

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

Interpolation−based verification of floating−point programs with abstract CDCL
por: Brain, M, et al.
Publicado: (2013)

Interpolation-based verification of floating-point programs with abstract CDCL
por: Brain, M, et al.
Publicado: (2013)

Interpolation theory, function spaces, differential operators /
por: 220872 Triebel, Hans
Publicado: (1978)

Exact interpolation theorems for Lipschitz continuous functions /
por: Peetre, Jaak, 1935-

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