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的一些小修复和升级。可以从下载页面下载。
3位创始人Jun、Yang和Jin Song因开发PAT验证系统而荣获20年ICFEM最具影响力系统奖。该奖项由ICFEM创始人刘绍英教授（FIEEE）于2018年11月14日在第20届ICFEM上颁发。Tony C.A.R.Hoare爵士（图灵奖）被授予20年ICFEM最具影响力人物奖。迈克尔·巴特勒教授被授予20年ICFEM杰出服务奖。
