MMC is now MoonWalker
This was the website of MMC: the Mono Model Checker.Due to several name clashes, the name of the software model checker has been changed to MoonWalker.
All material previously available on this website can now be found on MoonWalker's website: http://www.cs.utwente.nl/~ruys/moonwalker/.