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的一些小修复和升级。可以从下载页面下载。
PAT集团的6名博士生已于2015年成功毕业于新加坡国立大学。
祝贺白广东博士、桂林博士、刘栓博士、刘燕博士、阮长康博士（庆祝午餐照片中缺失）和石玲博士。
我们还要感谢他们以及之前2014/2013年度的博士研究生谭天华博士、宋松正博士、张绍杰博士、张贤博士和郑满满博士对PAT相关研究的巨大贡献。
