CTL+FO Verification as Constraint Solving.
Tewodros A. BeyeneMarc BrockschmidtAndrey RybalchenkoPublished in: CoRR (2014)
Keyphrases
- constraint solving
- model checking
- bounded model checking
- constraint propagation
- temporal logic
- constraint logic programming
- formal verification
- constraint satisfaction problems
- computation tree logic
- constraint satisfaction
- constraint solver
- temporal properties
- first order logic
- formal specification
- constraint programming
- linear temporal logic
- formal methods
- expressive power
- constraint solvers
- fixpoint
- finite domain
- epistemic logic
- reinforcement learning
- transitive closure
- alternating time temporal logic