A Timed CTL Model Checker for Real-Time Maude.

Daniela Lepri Erika Ábrahám Peter Csaba Ölveczky

Published in: CALCO (2013)

Keyphrases

model checking
model checker
formal specification
temporal logic
formal verification
symbolic model checking
formal methods
transition systems
epistemic logic
specification language
reverse engineering
knowledge base
dynamic programming
description language