The Maude LTL Model Checker.

Steven Eker José Meseguer Ambarish Sridharanarayanan

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

model checker
model checking
formal specification
temporal logic
symbolic model checking
transition systems
formal verification
formal methods
specification language
concurrent systems
artificial intelligence
machine learning
genetic algorithm
expert systems
evolutionary algorithm