PAT: Process Analysis Toolkit 下载地址

PAT: Process Analysis Toolkit  下载地址

进入后需要注册，注册完成会发送一个邮件到你填写的email中，里面有登陆密码
PAT介绍：

PAT is a self-contained framework for to support 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, LTL properties with fairness assumptions, refinement checking and probabilistic model checking. To achieve good performance,
advanced optimization techniques are implemented in PAT, e.g. partial order reduction, symmetry reduction, process counter abstraction, parallel model checking. So far, PAT has 3260+ registered users from860+ organizations in 71 countries and regions.