3位创始人Jun、Yang和Jin Song因开发PAT验证系统而荣获20年ICFEM最具影响力系统奖。该奖项由[…]颁发
普遍模型检查
使用PAT构建您自己的模型检查器
PAT集团的6名博士生已于2015年成功毕业于新加坡国立大学。祝贺Bai Guangdong博士、Gui Lin博士、Liu Shuan博士、Liu Yan博士、Nguyen Truong Khanh博士〔…〕
我们已经发布了PAT版本3.5.1的一些小修复和升级。可以从下载页面下载。
在此次要版本中,更新包括以下内容:1字母表计算的错误在所有模块中都已修复。2模型浏览器添加到GUI中。3 CSP模块中添加了更多示例。
最新的稳定版本PAT 3.2.0包括CSP模块和实时系统模块的稳定版本,以及PCSP和PRTS模块和标签转换系统(LTS)模块的测试版。
有关详细更新,请参阅版本历史记录.