PAT: Process Analysis Toolkit

An Enhanced Simulator, Model Checker and Refinement Checker for Concurrent and Real-time Systems

PAT Installation FAQ

1 I can not install PAT.

Answer:
1) Make sure you have installed the .NET framework 3.5.
2) Make sure the installation file is correctedly downloaded: “PAT3.Setup.XXX.msi”. Some users accidentally rename the installation file with extra .exe in the end.
3) The last remedy is to download direct executable of PAT and run it directly without installation.

2: Cannot start PAT 3.exe on mono

Answer: If the error message informs that assembly System.Windows.Forms is missing, please get the packages libmono-winforms1.0-cil and libmono-winforms2.0-cil.

If you get “Could not get XIM” error, one way you could do is to set the environment variable as “export MONO_WINFORMS_XIM_STYLE=disabled”.

3 I can not start the simulator.

Answer:
Please make sure you have this DLL under your installation folder.