MIST: Download

Obtain MIST

Disclaimer: This software is provided free of charge for the academic purpose only. Washington State University, University of Pennsylvania, and authors do assume any liabilities which may be caused by using this software.

M2IST is built in Java and JavaCC (Java Compiler Compiler). Currently M2IST is currently available as the executable only.

  1. Download the p2c.zip and the m2c.zip
  2. Unzip p2c.zip and m2c.zip. You may use winzip on Windows or unzip on Unix for such purpose
  3. If you want to perform the design-level validation, follow the below instructions,
    1. Install CHARON toolkit.
    2. Download Event.class and EventElement.class, and put them to $CHARONHOME$/charon/user.

Important: MIST uses JavaMac and JTrek libraries. You need to download and install JavaMac and JTrek from here. Or, alternatively, download mac_n_jtrek.zip and unzip it in the same directory as MIST.