Login / Signup
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