Grid'5000 experiment

Jump to: navigation, search

EVALUATOR - distributed on-the-fly model checker (Application)

Conducted by

Christophe Joubert

Description

We 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.

Status

in progress

Resources

    Tools used

    No information

    Results

    Not yet

    Shared by: Christophe Joubert
    Last update: 0000-00-00 00:00:00
    Experiment #44

    Personal tools
    Namespaces

    Variants
    Views
    Actions
    Public Portal
    Users Portal
    Admin portal
    Wiki special pages
    Toolbox