拍打

PAT是一个独立的框架,用于支持并发、实时系统和其他可能领域的组合、仿真和推理。它有用户友好的界面,特色的模型编辑器和动画模拟器。最重要的是,PAT实现了各种模型检查技术,以适应不同的特性,如死锁自由度、散度自由度、可达性、具有公平性假设的LTL属性、精化检查和概率模型检查。为了获得良好的性能,PAT中采用了一些先进的优化技术,如偏序约简、对称性约简、过程计数器抽象、并行模型检验等。


zbMATH中的参考文献(参考文献第三十五条)

显示第1到第20个结果,共35个。
按年份排序(引用)
  1. 埃斯帕扎,哈维尔;杰克斯,斯特凡;拉斯金,米哈伊尔;韦尔肯尼迪,查纳:验证人口协议的复杂性(2021年)
  2. 柳叶州;尼古拉斯库,拉杜;孙静;Henderson,Alec:cP系统中的一个次线性数独解及其形式化验证(2021)
  3. 谢婉玲;朱惠标;徐启文:移动系统的过程演算及其形式语义(2021)
  4. 柳叶州;尼古拉斯库,拉杜;孙静:用PAT3和ProB对cP系统进行形式化验证(2020)
  5. 克里夫兰,兰斯;罗斯科,A.W。;Smolka,Scott A.:过程代数与模型检验(2018)
  6. 施、玲;赵永新;刘、杨;孙军;董金松;秦胜超:PVS中共享变量进程通信的UTP语义及其形式化编码(2018)
  7. Esparza,Javier:人口协议参数化验证的进展(2017)
  8. 埃斯帕扎,哈维尔;甘蒂,皮埃尔;勒鲁克斯,杰罗姆;Majumdar,Rupak:人口方案验证(2017年)
  9. André,Étienne:参数时间自动机的决定是什么?(2016年)
  10. André,çtienne:参数无死锁检查时间自动机(2016)
  11. 安德烈,爱蒂安;本穆萨,穆罕默德·马赫迪;Choppy,Christine:使用有色Petri网形式化并发UML状态机(2016)
  12. 卡瓦略,古斯塔沃;安娜,卡瓦尔康蒂;Sampaio,Augusto:从自然语言需求建模定时反应系统(2016)
  13. Al Humaimeedy,阿贝尔S。;Fernández,Maribel:在CSP中实现SOC的同步和异步通信(2015)
  14. 莫塔,A。;法里亚斯,A。;伍德考克,J。;Larsen,P.G.:模型检查CML:工具开发和工业应用(2015)ioport公司
  15. 安德烈,爱蒂安;刘、杨;孙军;董金松:分层并发实时系统的参数综合(2014)
  16. 董金松;刘、杨;孙军;张显:走向计算编排的验证(2014)
  17. 李小茹;李晓红;徐光权;胡静;冯志勇:乐观多方合同签订协议公平性的形式化分析(2014)
  18. 李易;董金松;孙静;刘、杨;孙军:《自动化规划的模型检验方法》(2014)
  19. 四、元宵;孙军;刘、杨;董金松;庞俊;张绍杰;杨晓虎:基于公平假设的PAT模型检验(2014)
  20. 山形,Yoriyuki;孔伟强;福田,秋原;唐、阮凡;大坂,仁石;Taguchi,Kenji:使用CSP的扩展层次状态转移矩阵的形式语义(2014)

更多出版物请访问:http://pat.comp.nus.edu.sg/?page_id=2599