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

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

Pokaži ostale verzije (1)

Bibliografski detalji
Glavni autori:	Brain, M, D’Silva, V, Griggio, A, Haller, L, Kroening, D
Format:	Knjiga
Izdano:	2013

Slični predmeti

Interpolation-based verification of floating-point programs with abstract CDCL
od: Brain, M, i dr.
Izdano: (2013)

Lifting CDCL to template-based abstract domains for program verification
od: Mukherjee, R, i dr.
Izdano: (2017)

Deciding floating−point logic with abstract conflict driven clause learning
od: Brain, M, i dr.
Izdano: (2013)

Deciding Floating−Point Logic with Systematic Abstraction
od: Haller, L, i dr.
Izdano: (2012)

Deciding floating-point logic with abstract conflict driven clause learning
od: Brain, M, i dr.
Izdano: (2014)

An Abstract Interpretation of DPLL(T)
od: Brain, M, i dr.
Izdano: (2013)

An abstract interpretation of DPLL(T)
od: Brain, M, i dr.
Izdano: (2013)

Propositional Interpolation and Abstract Interpretation
od: D'Silva, V
Izdano: (2010)

Abstract Satisfaction
od: D'Silva, V, i dr.
Izdano: (2014)

Abstract conflict driven learning.
od: D'Silva, V, i dr.
Izdano: (2013)

Abstract Conflict Driven Learning
od: D'Silva, V, i dr.
Izdano: (2013)

Approximation Refinement for Interpolation−Based Model Checking
od: D'Silva, V, i dr.
Izdano: (2008)

Approximation Refinement for Interpolation−Based Model Checking
od: D'Silva, V, i dr.
Izdano: (2008)

Interpolant Strength
od: D'Silva, V, i dr.
Izdano: (2010)

Abstraction of Syntax
od: D'Silva, V, i dr.
Izdano: (2013)

Verification and Falsification of Programs with Loops Using Predicate Abstraction
od: Kroening, D, i dr.
Izdano: (2009)

Verification and falsification of programs with loops using predicate abstraction.
od: Kroening, D, i dr.
Izdano: (2010)

Restructuring Resolution Refutations for Interpolation
od: D'Silva, V, i dr.
Izdano: (2008)

Formal Verification at Higher Levels of Abstraction
od: Kroening, D, i dr.
Izdano: (2007)

A survey of automated techniques for formal software verification
od: D'Silva, V, i dr.
Izdano: (2008)

A Survey of Automated Techniques for Formal Software Verification.
od: D'Silva, V, i dr.
Izdano: (2008)

A Survey of Automated Techniques for Formal Software Verification
od: D'Silva, V, i dr.
Izdano: (2008)

Verification of SpecC using Predicate Abstraction
od: Clarke, E, i dr.
Izdano: (2007)

Verification of SpecC using predicate abstraction.
od: Clarke, E, i dr.
Izdano: (2007)

Fixed points for multi-cycle path detection
od: D'Silva, V, i dr.
Izdano: (2009)

Fixed Points in Multi−Cycle Path Detection
od: D'Silva, V, i dr.
Izdano: (2015)

Logical abstract interpretation
od: D'Silva, V, i dr.
Izdano: (2013)

Verification of SpecC and Verilog using Predicate Abstraction
od: Jain, H, i dr.
Izdano: (2004)

Tales from Verification History
od: D'Silva, V
Izdano: (2009)

Invertibility conditions for floating-point formulas
od: Brain, M, i dr.
Izdano: (2019)

Building better bit-blasting for floating-point problems
od: Brain, M, i dr.
Izdano: (2019)

Satisfiability Solvers are Static Analysers
od: D'Silva, V, i dr.
Izdano: (2012)

Satisfiability solvers are static analysers
od: D'Silva, V, i dr.
Izdano: (2012)

Coverage in interpolation-based model checking
od: Chockler, H, i dr.
Izdano: (2010)

Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
od: Cattaruzza, D, i dr.
Izdano: (2020)

Algebraic Techniques in Software Verification : Challenges and Opportunities
od: Brain, M, i dr.
Izdano: (2016)

Software Verification Using k−Induction
od: Donaldson, A, i dr.
Izdano: (2011)

Software verification using k-induction
od: Donaldson, A, i dr.
Izdano: (2011)

Safety verification and refutation by k-invariants and k-induction
od: Brain, M, i dr.
Izdano: (2015)

Accurate Theorem Proving for Program Verification
od: Cook, B, i dr.
Izdano: (2006)