Interpolation−based verification of floating−point programs with abstract CDCL

Interpolation−based verification of floating−point programs with abstract CDCL

Show other versions (1)

Bibliographic Details
Main Authors:	Brain, M, D’Silva, V, Griggio, A, Haller, L, Kroening, D
Format:	Book
Published:	2013

Similar Items

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

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

Deciding floating−point logic with abstract conflict driven clause learning
by: Brain, M, et al.
Published: (2013)

Deciding Floating−Point Logic with Systematic Abstraction
by: Haller, L, et al.
Published: (2012)

Deciding floating-point logic with abstract conflict driven clause learning
by: Brain, M, et al.
Published: (2014)

An Abstract Interpretation of DPLL(T)
by: Brain, M, et al.
Published: (2013)

An abstract interpretation of DPLL(T)
by: Brain, M, et al.
Published: (2013)

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

Abstract Satisfaction
by: D'Silva, V, et al.
Published: (2014)

Abstract conflict driven learning.
by: D'Silva, V, et al.
Published: (2013)

Abstract Conflict Driven Learning
by: D'Silva, V, et al.
Published: (2013)

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)

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

Abstraction of Syntax
by: D'Silva, V, et al.
Published: (2013)

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

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

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

Formal Verification at Higher Levels of Abstraction
by: Kroening, D, et al.
Published: (2007)

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)

Verification of SpecC using Predicate Abstraction
by: Clarke, E, et al.
Published: (2007)

Verification of SpecC using predicate abstraction.
by: Clarke, E, et al.
Published: (2007)

Logical abstract interpretation
by: D'Silva, V, et al.
Published: (2013)

Fixed points for multi-cycle path detection
by: D'Silva, V, et al.
Published: (2009)

Fixed Points in Multi−Cycle Path Detection
by: D'Silva, V, et al.
Published: (2015)

Verification of SpecC and Verilog using Predicate Abstraction
by: Jain, H, et al.
Published: (2004)

Tales from Verification History
by: D'Silva, V
Published: (2009)

Invertibility conditions for floating-point formulas
by: Brain, M, et al.
Published: (2019)

Building better bit-blasting for floating-point problems
by: Brain, M, et al.
Published: (2019)

Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
by: Cattaruzza, D, et al.
Published: (2020)

Satisfiability Solvers are Static Analysers
by: D'Silva, V, et al.
Published: (2012)

Satisfiability solvers are static analysers
by: D'Silva, V, et al.
Published: (2012)

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

Algebraic Techniques in Software Verification : Challenges and Opportunities
by: Brain, M, et al.
Published: (2016)

Safety verification and refutation by k-invariants and k-induction
by: Brain, M, et al.
Published: (2015)

Software Verification Using k−Induction
by: Donaldson, A, et al.
Published: (2011)

Software verification using k-induction
by: Donaldson, A, et al.
Published: (2011)

Accurate Theorem Proving for Program Verification
by: Cook, B, et al.
Published: (2006)