The Mec 5 Model-Checker.

Alain Griffault Aymeric Vincent

Published in: CAV (2004)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
test suite
set theory
ai planning
symbolic model checking
specification language
binary decision diagrams
high level
software engineering
planning domains