PAT: Process Analysis Toolkit

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

5, May, 2008: The PAT’s User Interface and Language Parser are completely redesigned.

For the details, check it out:
Post to Post Links II error: No post found with slug "add-the-syntax-checking-after-parsing-to-rule-out-invalid-un-declared-variables-usage"
Simulation window is redesigned completely