The Maude LTL Model Checker and Its Implementation.

Steven Eker José Meseguer Ambarish Sridharanarayanan

Published in: SPIN (2003)

Keyphrases

model checking
model checker
formal specification
temporal logic
specification language
formal verification
formal methods
symbolic model checking
transition systems
test suite
genetic algorithm
image processing
general purpose