PAT: Process Analysis Toolkit

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

Monthly archives for January, 2011

21, Jan, 2011: PAT 3.2.2 is released!

In this minor release, the update include the following:
1 Bugs for simulator are fixed
2 Find Usage for variables, processes, channels and declarations are supported in all modules
3 Module Generator is implemented.
4 LTS module is re-implemented.
a) The language support full syntax of CSP, except terminal process call can only drawn Process. For example, the following syntax is not valid
P = a -> Skip;
Q = b -> P;
b) a new syntax is supported in LTS under the BDD module checking
var x = *; a process with arbitrary value

13, Jan, 2011: Experiments for FM 2011 are added!

Experiments for FM 2011 Submissions

Paper 16: Developing a Model Checker for Probabilistic Real-time Hierarchical Systems
Paper 23: Compositional Partial Order Reduction for Concurrent Systems
Paper 40: Building Model Checkers Made Easy
Paper 58: Formal Modeling and Verification of Ambient Intelligent System for Elderly Dementia Healthcare
Paper 61: Automated Verifying Anonymity and Privacy Properties of Security Protocols
Paper 101: On Combining State Space Reductions with Global Fairness Assumptions