An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions

An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Kroening, D, Weissenbacher, G
Μορφή:	Conference item
Έκδοση:	Springer 2010

Παρόμοια τεκμήρια

An interpolating decision procedure for transitive relations with uninterpreted functions
ανά: Kroening, D, κ.ά.
Έκδοση: (2009)

Instantiating uninterpreted functional units and memory system: functional verification of the VAMP processor
ανά: Beyer, S, κ.ά.
Έκδοση: (2003)

Lifting Propositional Interpolants to the Word−Level
ανά: Kroening, D, κ.ά.
Έκδοση: (2007)

Interpolant Strength
ανά: D'Silva, V, κ.ά.
Έκδοση: (2010)

Uninterpret-Able: Bridging with Mentally Diverse Bodies
ανά: Eliana Ah-Rum Ku
Έκδοση: (2024-12-01)

Restructuring Resolution Refutations for Interpolation
ανά: D'Silva, V, κ.ά.
Έκδοση: (2008)

Solving Uninterpreted Equations with Context Free Expression Grammars
ανά: McAllester, David Allen
Έκδοση: (2004)

Program analysis with interpolants
ανά: Weissenbacher, G, κ.ά.
Έκδοση: (2010)

Program Analysis with Interpolants
ανά: Weissenbacher, G
Έκδοση: (2010)

Interpolant-Based Transition Relation Approximation
ανά: Ranjit Jhala, κ.ά.
Έκδοση: (2007-11-01)

A Multi-Crystal Method for Extracting Obscured Crystallographic States from Conventionally Uninterpretable Electron Density
ανά: Pearce, N, κ.ά.
Έκδοση: (2017)

THE NON-DROPPABILITY OF UNINTERPRETABLE FEATURES IN SECOND LANGUAGE ACQUISITION: ON THE INTERPRETATION OF RESUMPTIVE PRONOUNS IN L2 CHINESE
ανά: Stano Kong
Έκδοση: (2011-12-01)

Decision Procedures – an Algorithmic Point of View
ανά: Kroening, D, κ.ά.
Έκδοση: (2008)

Preface: Special Issue on Interpolation
ανά: Kroening, D, κ.ά.
Έκδοση: (2016)

Decision procedures : an algorithmic point of view /
ανά: 483434 Kroening, Daniel, κ.ά.
Έκδοση: (c200)

Coverage in interpolation-based model checking
ανά: Chockler, H, κ.ά.
Έκδοση: (2010)

Verification and falsification of programs with loops using predicate abstraction.
ανά: Kroening, D, κ.ά.
Έκδοση: (2010)

Verification and Falsification of Programs with Loops Using Predicate Abstraction
ανά: Kroening, D, κ.ά.
Έκδοση: (2009)

Counterexamples with Loops for Predicate Abstraction
ανά: Kroening, D, κ.ά.
Έκδοση: (2006)

Approximation Refinement for Interpolation−Based Model Checking
ανά: D'Silva, V, κ.ά.
Έκδοση: (2008)

Approximation Refinement for Interpolation−Based Model Checking
ανά: D'Silva, V, κ.ά.
Έκδοση: (2008)

Computing mutation coverage in interpolation-based model checking
ανά: Chockler, H, κ.ά.
Έκδοση: (2012)

Interpolation of functions /
ανά: 317613 Szabados, J., κ.ά.
Έκδοση: (1990)

Beyond quantifier-free interpolation in extensions of presburger arithmetic
ανά: Brillout, A, κ.ά.
Έκδοση: (2011)

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic.
ανά: Brillout, A, κ.ά.
Έκδοση: (2011)

An interpolating sequent calculus for quantifier-free Presburger arithmetic
ανά: Brillout, A, κ.ά.
Έκδοση: (2011)

A Complete Bounded Model Checking Algorithm for Pushdown Systems
ανά: Basler, G, κ.ά.
Έκδοση: (2007)

SAT−based Summarisation for Boolean Programs
ανά: Basler, G, κ.ά.
Έκδοση: (2007)

Resolution Decision Procedures for the Guarded Fragment with Transitive Guards
ανά: Kazakov, Y, κ.ά.
Έκδοση: (2015)

Under-approximating loops in C programs for fast counterexample detection
ανά: Kroening, D, κ.ά.
Έκδοση: (2013)

Under-approximating loops in C programs for fast counterexample detection
ανά: Kroening, D, κ.ά.
Έκδοση: (2015)

Proving safety with trace automata and bounded model checking
ανά: Kroening, D, κ.ά.
Έκδοση: (2015)

Spline functions and multivariate interpolations /
ανά: 282331 Bojanov, B. D., κ.ά.
Έκδοση: (1993)

A survey of automated techniques for formal software verification
ανά: D'Silva, V, κ.ά.
Έκδοση: (2008)

A Survey of Automated Techniques for Formal Software Verification.
ανά: D'Silva, V, κ.ά.
Έκδοση: (2008)

A Survey of Automated Techniques for Formal Software Verification
ανά: D'Silva, V, κ.ά.
Έκδοση: (2008)

Interpolation−based verification of floating−point programs with abstract CDCL
ανά: Brain, M, κ.ά.
Έκδοση: (2013)

Interpolation-based verification of floating-point programs with abstract CDCL
ανά: Brain, M, κ.ά.
Έκδοση: (2013)

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, κ.ά.
Έκδοση: (2004)