The Linear Temporal Logic of Rewriting Maude Model Checker.

Kyungmin Bae José Meseguer

Published in: WRLA (2010)

Keyphrases

linear temporal logic
model checker
model checking
formal specification
temporal logic
formal verification
symbolic model checking
formal methods
transition systems
specification language
finite state
concurrent systems
modal logic
high level
general purpose