dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.

Alexandre Hamez Fabrice Kordon Yann Thierry-Mieg Fabrice Legond-Aubry

Published in: ICATPN (2007)

Keyphrases

model checker
model checking
formal methods
formal verification
formal specification
distributed systems
description language
symbolic model checking
temporal logic
symbolic representation
test suite
machine learning
object oriented
ai planning
binary decision diagrams