模型检测工具The ProcessAnalysisToolkit (PAT) isaCSPanalysistooldevelopedintheSchoolofComputingatthe NationalUniversityofSingapore.PATisabletoperformrefinementchecking,LTLmodel-checking,andsimulationofCSPandTimedCSPprocesses.