Login / Signup
Towards a Maude Tool for Model Checking Temporal Graph Properties.
Andrea Vandin
Alberto Lluch-Lafuente
Published 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