PAT: Process Analysis Toolkit

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

Monthly archives for February, 2011

28, Feb, 2011: PAT 3.2.3 is released!

In this minor release, the update include the following:
1 Parsers are all updated to the latest antlr library, as well as the error messages are improved.
2 In LTS module, BDD library execution error is fixed
3 Indexed Boolean logic expression is supported
var x[3];
P = if(&& i:{0..2}@(x[i] == 0)){bingo -> Skip};

4 GUI improvement for the C# library Editor and Main GUI
5 PAT now will open the last edited documents when started
6 User Manual is updated.