3位创始人Jun、Yang和Jin Song因开发PAT验证系统而荣获20年ICFEM最具影响力系统奖。该奖项由[…]颁发
普遍模型检查
使用PAT构建您自己的模型检查器
PAT组6名博士生于2015年成功毕业于新加坡国立大学。祝贺白广东博士、桂林博士、刘硕博士、刘燕博士、阮长康博士[…]
我们已经发布了PAT版本3.5.1的一些小修复和升级。可以从下载页面下载。
1针对CSP模块和PCSP模块实现了一套新的细化算法(基于反链技术)。对于CSP模块,在某些情况下,性能得到了显著改善。因此,我们将新的验证算法作为细化检查的默认引擎。2 RTS模块的错误修复(感谢Oguzcan Oguz报告RTS模块中的一些关键错误)
3 CSP和RTS模块BDD支持的错误修复和性能改进。4 CSP模块代码生成功能中的错误修复。