Abstraction and BDDs Complement SAT-Based BMC in DiVer
No abstract available.
Related papers
- DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems TACAS 2005
- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking CAV 2000
- Generating Extended Resolution Proofs with a BDD-Based SAT Solver TACAS 2021
- GPU Acceleration of Bounded Model Checking with ParaFROST CAV 2021
- Relations as an abstraction for BDD-based program analysis TOPLAS 2008
- Bounded Model Checking for Hyperproperties TACAS 2021
- Clausal Proofs for Pseudo-Boolean Reasoning TACAS 2022
- Symbolic Model Checking without BDDs TACAS 1999