Toupie: a Constraint Language for Model Checking
Antoine RauzyPublished in: Constraint Programming (1994)
Keyphrases
- model checking
- constraint language
- temporal logic
- integrity constraints
- constraint networks
- object oriented
- formal verification
- formal specification
- model checker
- modeling language
- metamodel
- temporal properties
- automated verification
- formal methods
- symbolic model checking
- process model
- computation tree logic
- verification method
- epistemic logic
- transition systems
- bounded model checking
- timed automata
- linear temporal logic
- deterministic finite automaton
- open source
- concurrent systems
- artificial intelligence
- np complete