MuDiv: A Tool for Partial Model Checking
by Henrik Reif Andersen and
Jørn Lind-Nielsen.
Abstract
This tool is used for model checking and verification of concurrent
systems and is based on the techniques of partial model checking
described by Henrik Reif Andersen. [More in the full abstract]
[BiBTeX entry]
[Postscript]
[MuDiv download page]