Towards a Maude Tool for Model Checking Temporal Graph Properties.
Andrea VandinAlberto Lluch-LafuentePublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)
Keyphrases
- model checking
- formal specification
- temporal properties
- graph properties
- temporal logic
- linear temporal logic
- formal verification
- model checker
- automated verification
- graph theoretic
- bounded model checking
- epistemic logic
- verification method
- symbolic model checking
- timed automata
- transition systems
- graph theory
- computation tree logic
- formal methods
- reactive systems
- directed graph
- pattern matching