拍打

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


zbMATH参考文献(参考 31篇文章

显示第1到第20个结果,共31个。
按年份排序(引用)
  1. 兰斯,克里夫兰;罗斯科,A.W.;斯莫尔卡,斯科特A.:过程代数和模型检查(2018)
  2. Shi,Ling;Zhao,Yongxin;Liu,Yang;Sun,Jun;Dong,Jin Song;Qin,Shengchao:PVS中用于共享变量的进程通信的UTP语义及其形式化编码(2018)
  3. Esparza,Javier:人口协议参数化验证的进展(2017)
  4. Esparza,Javier;Ganty,Pierre;Leroux,Jérôme;Majumdar,Rupak:人口协议的验证(2017年)
  5. André,Étienne:参数时间自动机的决定是什么?(2016年)
  6. André,çtienne:参数无死锁检查时间自动机(2016)
  7. André,çtienne;Benmoussa,Mohamed Mahdi;Choppy,Christine:使用有色Petri网形式化并发UML状态机(2016)
  8. Gustavo Carvalho;Ana Cavalcanti;Sampaio,Augusto:从自然语言需求建模定时反应系统(2016)
  9. Al Humaimeedy,Abeer S.;Fernández,Maribel:在CSP中实现SOC的同步和异步通信(2015)
  10. Mota,A.;Farias,A.;Woodcock,J.;Larsen,P.G.:模型检查CML:工具开发和工业应用(2015)ioport公司
  11. André,çtienne;Liu,Yang;Sun,Jun;Dong,Jin Song:分层并发实时系统的参数综合(2014)
  12. 董金松;刘,杨;孙军;张,娴:面向计算编排的验证(2014)
  13. 李晓茹;李晓红;徐光权;胡静;冯志勇:乐观多方合同签署协议公平性的形式分析(2014)
  14. Li,Yi;Dong,Jin Song;Sun,Jing;Liu,Yang;Sun,Jun:自动化规划的模型检验方法(2014)
  15. Si,Yuanjie;Sun,Jun;Liu,Yang;Dong,Jin Song;Pang,Jun;Zhang,Shao Jie;Yang,Xiaohu:基于公平性假设的模型检验(2014)
  16. Yamagata,Yoriyuki;Kong,Weiqiang;Fukuda,Akira;Tang,Nguyen Van;Ohsaki,Hitoshi;Taguchi,Kenji:使用CSP的扩展层次状态转移矩阵的形式语义(2014)
  17. Yuan,Ting;Tang,Yiting;Wu,Xi;Zhang,Yue;Zhu,Huibao;Guo,Jian;Qin,Weijun:使用CSP对HTTP上REST的形式化和验证(2014)ioport公司
  18. 赵永新;董劲松;刘,杨;孙军:走向CafeOBJ和PAT的结合(2014)
  19. Ben Maissa,Yann;Kordon,Fabrice;Mouline,Salma;Thierry Mieg,Yann:用VeriSensor建模和分析无线传感器网络:集成工作流(2013)ioport公司
  20. 克兰,Sjoerd;Groote,Jan Friso;Keiren,Jeroen J.A.;Stappers,Frank P.M.;de Vink,Erik P.;Wesselink,Wieger;Willemse,Tim A.C.:mCRL2工具集及其最新进展概述(2013年)

更多出版物请访问:http://pat.comp.nus.edu.sg/?页码\u id=2599