MMC: the Mono Model Checker.

Theo C. Ruys Niels H. M. Aan de Brugh

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

Keyphrases

model checker
model checking
formal verification
formal methods
temporal logic
description language
formal specification
test suite
symbolic model checking
set theory
ai planning
specification language
planning domains
binary decision diagrams
image processing