Design Constraints in Symbolic Model Checking
Abstract elided by the publisher.
Related papers
- Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization ESOP 1994
- Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints CAV 1997
- TLA+ model checking made symbolic OOPSLA 2019
- Optimizing Symbolic Model Checking for Constraint-Rich Models CAV 1999
- Symboloc Model Checking for Event-Driven Real-Time Systems TOPLAS 1997
- A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation CAV 2023
- Bonsai: synthesis-based reasoning for type systems POPL 2018
- SMLP: Symbolic Machine Learning Prover CAV 2024