Incremental preprocessing methods for use in BMC

@article{Kupferschmid2011IncrementalPM,
  title={Incremental preprocessing methods for use in BMC},
  author={Stefan Kupferschmid and Matthew D. T. Lewis and Tobias Schubert and Bernd Becker},
  journal={Formal Methods in System Design},
  year={2011},
  volume={39},
  pages={185-204}
}
Traditional incremental SAT solvers have achieved great success in the domain of Bounded Model Checking (BMC). Recently, modern solvers have introduced advanced preprocessing procedures that have allowed them to obtain high levels of performance. Unfortunately, many preprocessing techniques such as variable and (blocked) clause elimination cannot be directly used in an incremental manner. This work focuses on extending these techniques and Craig interpolation so that they can be used… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 27 CITATIONS

SHIVA : Sichere Hardware in der

Informationsverarbeitung Kochte
  • 2018
VIEW 6 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Towards the formal verification of security properties of a Network-on-Chip router

  • 2018 IEEE 23rd European Test Symposium (ETS)
  • 2018
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Using MaxBMC for Pareto-optimal circuit initialization

  • 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE)
  • 2014
VIEW 6 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Functional test of small-delay faults using SAT and Craig interpolation

  • 2012 IEEE International Test Conference
  • 2012
VIEW 5 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Conformant planning as a case study of incremental QBF solving

  • Annals of Mathematics and Artificial Intelligence
  • 2016
VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Efficient SAT Solving under Assumptions

VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Specification and verification of security in reconfigurable scan networks

  • 2017 22nd IEEE European Test Symposium (ETS)
  • 2017
VIEW 1 EXCERPT
CITES METHODS

Similar Papers

Loading similar papers…