PAT: Process Analysis Toolkit 3.5.1 (x86)
模型检测工具The ProcessAnalysisToolkit (PAT) isaCSPanalysistooldevelopedintheSchoolofComputingatthe NationalUniversityofSingapore.PATisabletoperformrefinementchecking,LTLmodel-checking,andsimulationofCSPandTimedCSPprocesses.
下载地址
用户评论
免费软件还收下载点
找了半天终于找到这个工具了，中文版的
很不错，能用