PAT: Process Analysis Toolkit

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

06, Oct, 2008: PAT 1.2.6 is released!

Sorry for the fast version update. 🙂
But we changed some syntax, which is big enough to make a new version.

Language Change:
1 use var to declare a variable, similar to javascript and ation script.
2 () is optional in process definition if there is no parameter.

State refinement srefine and sequal assertions is added into the system.

1 Self implemented hashtable and dictionary is used in the code.
2 Code tidy up.

User Manual:
User Manual is updated to the latest syntax.