Installation & System Requirements
The Modest Toolset is available in two packages:
- The Modest Toolset for Windows, containing mime, mcpta, mctau, modes and mosta
- The Modest Toolset for Mono, containing mcpta, mctau, modes and mosta
System Requirements
Windows
Windows XP SP3 or newer. Setup will install the .NET Framework 4.0 Client Profile if necessary.
Mono
Any reasonable system with Mono 2.10.1 or higher.
External Tools
The following external tools are required for full functionality:
- mcpta: PRISM 4.0.3 (or newer)
- mctau: UPPAAL 4.1.5 (or newer)
- mosta: Graphviz dot
Installation
Windows
- Step 1: Download the zipped package for Windows and extract it.
- Step 2: Run setup.exe and follow the instructions.
- Step 3: Start mime from the shortcut in your start menu and configure mcpta and mctau (Tools > Configure Analysis Engines).
- Step 4: If you want to use the command-line versions of mcpta and mctau, follow step 2 for Mono (see below) as well.
Mono
- Step 1: Download the zipped package for Mono and extract it.
-
Step 2: Adjust the paths to PRISM and Java in mcpta.exe.config,
the path to UPPAAL/verifyta in mctau.exe.config and
the path to Graphviz dot in mosta.exe.config.
Typical entries on Windows might look like the following:
In mcpta.exe.config:<setting name="PrismPath" serializeAs="String">
<value>C:\Program Files\prism-3.3.1\bin\prism.bat</value>
</setting>
<setting name="JavaPath" serializeAs="String">
<value>C:\Program Files\Java\jre6\bin\java.exe</value>
</setting>
In mctau.exe.config:<setting name="PrismPath" serializeAs="String">
<value>C:\Program Files\uppaal-4.1.5\bin-Win32\verifyta.exe</value>
</setting>
In mosta.exe.config:<setting name="DotPath" serializeAs="String">
<value>C:\Program Files\Graphviz2.26.3\bin\dot.exe</value>
</setting>