EVALUATOR - distributed on-the-fly model checker (Application)
Conducted byChristophe Joubert
DescriptionWe apply MB-DSOLVE to perform distributed on-the-fly model checking of alternation-free modal mu-calculus, using the standard encoding of the problem as a BES resolution. The speedup and memory consumption obtained on large state spaces improve over previously published approaches based on game graphs.
Tools usedNo information
Shared by: Christophe Joubert
Last update: 0000-00-00 00:00:00