拍打

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


zbMATH中的参考文献(参考 32篇文章 32篇文章

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

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