PAT: Process Analysis Toolkit

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

Monthly archives for December, 2010

24, Dec, 2010: PAT 3.2.1 is released!

In this minor release, the update include the following:
1 Bugs for alphabet calculation are fixed in all modules.
2 Model Explorer is added in the GUI.
3 More examples are added in the CSP module.

11, Dec, 2010: Videos are avaiable for PCSP and NesC module!

Post to Post Links II error: No post found with slug "videos"

3, Dec, 2010: PAT 3.2.0 is released!

Latest stable version PAT 3.2.0 includes the stable version of the CSP module and Real-Time System Module, and a beta version of PCSP and PRTS module and Labeled Transition System (LTS) module.

For the detailed update, please refer to Version History.