PAT is a self-contained framework for the support of composing, simulating and reasoning of concurrent, real-time systems and other possible domains. It comes with user friendly interfaces, featured model editor and animated simulator. Most importantly, PAT implements various model checking techniques catering for different properties such as deadlock-freeness, divergence-freeness, reachability and other.
v3.5 [Feb 26, 2014]
1 Bug fixing in PCSP and RTS for hiding synchronous channel communication
2 Bug fixing for PCSP configuration
3 Improvement of TA module.
