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