PAT: Process Analysis Toolkit

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

10, Dec, 2008: PAT 2.0 Beta is released!

The beta version of PAT 2.0 is released with generic archetecture:
1 The lastest version of CSP module is integrated in PAT 2.0.
2 The newly developed web service module is implemented in PAT 2.0.

Go to Download to download it.