PAT: Process Analysis Toolkit

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


PAT for Mono (version 5.12 and higher)

Experimental version: only contains CSP and PCSP modules.

Instructions:

Linux (Tested on Ubuntu 18.04.3 LTS)

  1. install Mono as well as the libmono-system-windows-forms4.0-cil library
  2. unzip MONO-PAT-v3.6.0.zip
  3. run: mono PAT3.exe

Recommendation: use Wine (version 5.0 and higher) to run the Windows binaries of PAT available here

MacOS (Tested on macOS Mojave Version 10.14.6)

  1. install Wine (version 5.0 and higher). See e.g., here for a step-by-step tutorial (tl;dr: brew cask install xquartz wine-stable)
  2. unzip MONO-PAT-v3.6.0.zip
  3. run: wine PAT3.exe. On the first launch, wine will install the required library (e.g., mono)

Recommendation: use Wine (version 5.0 and higher) to run the Windows binaries of PAT available here

Windows

Windows users should use the Windows binaries of PAT available here


Documentation

The documentation of PAT is available here.