IDD-MC - A Model Checker for Bounded Stochastic Petri nets.

Martin Schwarick

Published in: AWPN (2010)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
test suite
formal specification
symbolic model checking
ai planning
set theory
training data
specification language
web services
planning domains