Lifting Propositional Interpolants to the Word−Level

Lifting Propositional Interpolants to the Word−Level

Bibliographic Details
Main Authors:	Kroening, D, Weissenbacher, G
Format:	Conference item
Published:	IEEE 2007

Similar Items

An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions
by: Kroening, D, et al.
Published: (2010)

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

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

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

Propositional Interpolation and Abstract Interpretation
by: D'Silva, V
Published: (2010)

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

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

Interpolation Property on Visser's Formal Propositional Logic
by: Majid Alizadeh, et al.
Published: (2022-09-01)

Quadratic Interpolation and Linear Lifting Design
by: Solé Joel, et al.
Published: (2007-01-01)

Metric constrained interpolation, commutant lifting and systems /
by: Foias, Ciprian, et al.
Published: (1998)

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

Value proposition analysis for medium- and heavy- lift cargo unmanned aircraft systems
by: Butler, Patrick C.
Published: (2019)

Propositional reasoning about safety and termination of heap-manipulating programs
by: David, C, et al.
Published: (2015)

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

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

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)

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)

Image Computation and Predicate Refinement for RTL Verilog using Word Level Proofs
by: Kroening, D, et al.
Published: (2007)

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

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)

Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
by: Jain, H, et al.
Published: (2008)

Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
by: Jain, H, et al.
Published: (2005)

Word level predicate abstraction and refinement for verifying RTL verilog
by: Jain, H, et al.
Published: (2005)

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)

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

Under-approximating loops in C programs for fast counterexample detection
by: Kroening, D, et al.
Published: (2015)

Under-approximating loops in C programs for fast counterexample detection
by: Kroening, D, et al.
Published: (2013)

Proving safety with trace automata and bounded model checking
by: Kroening, D, et al.
Published: (2015)

Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.
by: Jain, H, et al.
Published: (2008)

Word-level predicate-abstraction and refinement rechniques for verifying RTL Verilog
by: Jain, H, et al.
Published: (2008)

Lifting CDCL to template-based abstract domains for program verification
by: Mukherjee, R, et al.
Published: (2017)

A Survey of Automated Techniques for Formal Software Verification.
by: D'Silva, V, et al.
Published: (2008)

A Survey of Automated Techniques for Formal Software Verification
by: D'Silva, V, et al.
Published: (2008)

A survey of automated techniques for formal software verification
by: D'Silva, V, et al.
Published: (2008)

THE ISSUE OF SYNONYMOUS RELATIONS REVEALED THROUGH PROPOSITIONAL STRUCTURE OF COGNATE WORDS FAMILY SEMANTICS
by: A. N. Shabalina
Published: (2013-06-01)

Model Checking Concurrent Linux Device Drivers
by: Witkowski, T, et al.
Published: (2007)