Model Checking as Constraint Solving
No abstract available.
Related papers
- Model-Checking for Hybrid Systems by Quotienting and Constraints Solving CAV 2000
- Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints CAV 1997
- CoPTIC: Constraint Programming Translated Into C TACAS 2023
- Mata: A Fast and Simple Finite Automata Library TACAS 2024
- Checks and balances: constraint solving without surprises in object-constraint programming languages OOPSLA 2015
- Model Checking Gene Regulatory Networks TACAS 2015
- sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses CAV 2025
- A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell Haskell 2015