3位创始人Jun、Yang和Jin Song因开发PAT验证系统而荣获20年ICFEM最具影响力系统奖。该奖项由[…]颁发
普遍模型检查
使用PAT构建您自己的模型检查器
PAT组6名博士生于2015年成功毕业于新加坡国立大学。祝贺白广东博士、桂林博士、刘硕博士、刘燕博士、阮长康博士[…]
我们已经发布了PAT版本3.5.1的一些小修复和升级。可以从下载页面下载。
在此次要版本中，更新包括以下内容：1模拟器的错误已修复2所有模块都支持变量、进程、通道和声明的查找用法3实现了模块生成器。重新实施4 LTS模块。a） 该语言支持CSP的完整语法，但终端进程调用只能绘制进程。例如，以下语法无效P=a->跳过；Q=b->P；b） 在BDD模块检查下，LTS支持新语法var x=*；具有任意值的过程
论文16：为概率实时层次系统开发模型检查器论文23：并发系统的合成部分降阶论文40：简化建筑模型检查器论文58：老年痴呆症医疗环境智能系统的形式化建模与验证论文61：自动验证安全协议的匿名性和隐私属性论文101：国家空间缩减与全球公平假设相结合
