孙军、刘洋、阿比克·罗伊卓杜里、刘珊珊和董金松。 基于进程计数器抽象的公平模型检验 第六届形式方法国际研讨会（FM 2009）。 第123–139页，荷兰埃因霍温，2009年11月。 ( 幻灯片 ) 杨柳、魏晨、杨红A.刘和孙骏。 通过精化检查模型线性度 第六届形式方法国际研讨会（FM 2009）。 第321-337页，荷兰埃因霍温，2009年11月。 ( 幻灯片 )
站点统计信息
 |
 |
 |
 |
 |
-
20年ICFEM最具影响力的系统。。。 3位创始人Jun、Yang和Jin Song因开发PAT验证系统而荣获20年ICFEM最具影响力系统奖。 该奖项由[…]颁发 阅读更多信息 -
PAT集团的博士生毕业生。。。 PAT组6名博士生于2015年成功毕业于新加坡国立大学。 祝贺白广东博士、桂林博士、刘硕博士、刘燕博士、阮长康博士[…] 阅读更多信息