DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems
No abstract available.
Related papers
- Abstraction and BDDs Complement SAT-Based BMC in DiVer CAV 2003
- Model Checking Large-Scale and Parameterized Resource Allocation Systems TACAS 2002
- SATCheck: SAT-directed stateless model checking for SC and TSO OOPSLA 2015
- Verifying eventual consistency of optimistic replication systems POPL 2014
- Model Checking Concurrent Programs VMCAI 2009
- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition TACAS 2019
- The rIC3 Hardware Model Checker CAV 2025
- GPU Acceleration of Bounded Model Checking with ParaFROST CAV 2021