Download MMC

Download Bisimulation Checker

If you have any problems downloading, installing, or running MMC, please send mail to pyang [at] cs [dot] sunysb [dot] edu with a short description of the problem and the platform (OS, XSB version) you are operating on.


Contact: pyang [at] cs [dot] sunysb [dot] edu