MSC Execute project site

News

Diese Seite auf Deutsch!
16.07.2004

The project is published.

08.12.2004

The project is now free for download.

27.01.2005

The diploma thesis is published.

03.03.2005

Nondeterministic alternatives can be decided by the user.
(Start MSC with option "-manualChoice")
Minor bugfixes.


Markus Schlütter
Last modified: Thu Jan 27 05:50:42 PST 2005