Satisfiability solvers are static analysers

Satisfiability solvers are static analysers

Show other versions (1)

This paper shows that several propositional satisfiability algorithms compute approximations of fixed points using lattice-based abstractions. The Boolean Constraint Propagation algorithm (bcp) is a greatest fixed point computation over a lattice of partial assignments. The original algorithm of Dav...

书目详细资料
Main Authors:	D'Silva, V, Haller, L, Kroening, D
其他作者:	Miné, A
格式:	Conference item
出版:	Springer 2012

相似书籍

Satisfiability Solvers are Static Analysers
由: D'Silva, V, et al.
出版: (2012)

Optimization of Boolean satisfiability solver by caching intermediate results
由: S. Vartanov, et al.
出版: (2018-10-01)

A framework for Satisfiability Modulo Theories.
由: Kroening, D, et al.
出版: (2009)

Bit‐level evaluation of piccolo block cipher by satisfiability problem solver
由: Shion Utsumi, et al.
出版: (2023-07-01)

Verifying the structure and behavior in UML/OCL models using satisfiability solvers
由: Nils Przigoda, et al.
出版: (2016-11-01)

Abstract conflict driven learning.
由: D'Silva, V, et al.
出版: (2013)

Abstract Conflict Driven Learning
由: D'Silva, V, et al.
出版: (2013)

Abstract Satisfaction
由: D'Silva, V, et al.
出版: (2014)

Abstraction−based Satisfiability Solving of Presburger Arithmetic
由: Kroening, D, et al.
出版: (2004)

Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications
由: Dario Guidotti, et al.
出版: (2023-07-01)

Strengthening Induction−Based Race Checking with Lightweight Static Analysis
由: Donaldson, A, et al.
出版: (2011)

Numeric bounds analysis with conflict-driven learning
由: D'Silva, V, et al.
出版: (2012)

Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers.
由: Zinovik, I, et al.
出版: (2008)

Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers
由: Zinovik, I, et al.
出版: (2015)

An Abstract Interpretation of DPLL(T)
由: Brain, M, et al.
出版: (2013)

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

An abstract interpretation of DPLL(T)
由: Brain, M, et al.
出版: (2013)

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)

Satisfiability checking meets symbolic computation
由: Abraham, E, et al.
出版: (2016)

Relieving capacity limits on FPGA−based SAT−solvers
由: Haller, L, et al.
出版: (2010)

Abstraction of Syntax
由: D'Silva, V, et al.
出版: (2013)

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

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

A SAT Solver for Circuits Based on the Tableau Method
由: Egly, U, et al.
出版: (2010)

Satisfiability
由: Hoare, C
出版: (2015)

SC2: Satisfiability checking meets symbolic computation
由: Ábrahám, E, et al.
出版: (2016)

2 Step design for sandwich panel structure satisfying with restriction of static stress and eigen frequency
由: Shin SASAKI, et al.
出版: (2024-02-01)

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)

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

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

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

Satisfiability vs. Finite Satisfiability in Elementary Modal Logics
由: Jakub Michaliszyn, et al.
出版: (2012-10-01)

Satisfied with dissatisfaction?
由: Key, A, et al.
出版: (1999)

Satisfying journey!
由: Balaji Manohar
出版: (2015-01-01)

Parents’ Perceptions of School Support During COVID-19: What Satisfies Parents?
由: Teresa Haller, et al.
出版: (2021-09-01)

Static Analysis to Enhance the Power of Model Checking for Concurrent Software
由: Clarke, E, et al.
出版: (2007)

The need for security of «the person consuming»: the ways to satisfy
由: D. V. Tombu
出版: (2015-10-01)

Sound static deadlock analysis for C/Pthreads
由: Kroening, D, et al.
出版: (2016)