An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions

An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions

Show other versions (1)

书目详细资料
Main Authors:	Kroening, D, Weissenbacher, G
格式:	Conference item
出版:	Springer 2010

相似书籍

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

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

Lifting Propositional Interpolants to the Word−Level
由: Kroening, D, et al.
出版: (2007)

Interpolant Strength
由: D'Silva, V, et al.
出版: (2010)

Restructuring Resolution Refutations for Interpolation
由: D'Silva, V, et al.
出版: (2008)

Program analysis with interpolants
由: Weissenbacher, G, et al.
出版: (2010)

Program Analysis with Interpolants
由: Weissenbacher, G
出版: (2010)

Solving Uninterpreted Equations with Context Free Expression Grammars
由: McAllester, David Allen
出版: (2004)

Decision Procedures – an Algorithmic Point of View
由: Kroening, D, et al.
出版: (2008)

Preface: Special Issue on Interpolation
由: Kroening, D, et al.
出版: (2016)

Interpolation of functions /
由: 317613 Szabados, J., et al.
出版: (1990)

Decision procedures : an algorithmic point of view /
由: 483434 Kroening, Daniel, et al.
出版: (c200)

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

Coverage in interpolation-based model checking
由: Chockler, H, et al.
出版: (2010)

Spline functions and multivariate interpolations /
由: 282331 Bojanov, B. D., et al.
出版: (1993)

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

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

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

Computing mutation coverage in interpolation-based model checking
由: Chockler, H, et al.
出版: (2012)

Interpolation : cubic spline interpolation and hermite interpolation /
由: 495552 Gan, Loon Keat, et al.
出版: (2004)

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

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

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
由: Kazakov, Y
出版: (2004)

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

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

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

Counterexamples with Loops for Predicate Abstraction
由: Kroening, D, et al.
出版: (2006)

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

State-based motion transitions using framespace interpolation
由: Golam, Ashraf.
出版: (2008)

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

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

Birkhoff interpolation /
由: 199501 Lorentz, G. G., et al.
出版: (1983)

Interpolation /
由: 317323 Steffensen, Johan Frederik
出版: (1950)

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

Convergence of linear barycentric rational interpolation for analytic functions
由: Guettel, S, et al.
出版: (2012)

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

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

Interpolation theory, function spaces, differential operators /
由: 220872 Triebel, Hans
出版: (1978)

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

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