3位创始人Jun、Yang和Jin Song因开发PAT验证系统而荣获20年ICFEM最具影响力系统奖。该奖项由[…]颁发
普遍模型检查
使用PAT构建您自己的模型检查器
PAT组6名博士生于2015年成功毕业于新加坡国立大学。祝贺白广东博士、桂林博士、刘硕博士、刘燕博士、阮长康博士[…]
我们已经发布了PAT版本3.5.1的一些小修复和升级。可以从下载页面下载。
CHM版本可以下载酒店雇员和饭馆雇员。此文件包含PAT的所有方法和字段。通用项目。所有模块都需要遵循这些API才能被PAT框架识别。请参阅用户手册,了解如何使用API在PAT中开发定制模块。