PAT: Process Analysis Toolkit

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

27, April, 2011: PAT 3.3.1 is released!

In this release, we have the following updates:
1 The simulator drawing components are updated to the latest version of MSALG library.
2 Bug fixing and performance improvement for RTS and PRTS modules. RTS Module Experiments
3 BDD performance improvement for LTS module.
4 NesC Module Improvement and new examples are added.