PVS

PVS是一种验证系统,即集成支持工具和定理证明器的规范语言。它的目的是捕捉最先进的机械化形式化方法,并充分坚固耐用,它可以用于重要的应用。PVS是一个研究原型:随着我们开发或应用新的能力,PVS的发展和改进,以及实际使用的压力暴露出新的需求。


ZBMaX中的参考文献(600篇)4篇标准文章

显示结果561至580的600。
按年份排序(引文
  1. Henzinger,Thomas A.;QADEER,Shaz;RAJAMANI,Sriram K.:验证共享内存多处理器系统的顺序一致性(1999)
  2. Hosabettu,Ravi;SRIVAS,MadiaAM;GopalaRixHynn,GANSIH:用完成函数方法证明具有重新排序缓冲器的处理器的正确性(1999)
  3. 邦迪,艾伦,Green,伊恩:一类决策程序灵活集成到定理证明器中的框架(1999)
  4. KAMMü勒,弗洛里安;保尔森,Lawrence C.:Sylow定理的形式证明。伊莎贝尔H0L(1999)的抽象代数实验
  5. Kapellos,K;西蒙,D,Jourdant,M;ESPIAU,B:机器人控制系统的任务级规范和形式化验证:最新进展和案例研究(1999)
  6. P芬宁,弗兰克;SCH·U·R·卡斯滕:符号定义存在下的等式和统一算法(1999)
  7. van de Pol,哈科;Hooman,JoZef;德容,埃德温:数据和行为的模块化形式规范(1999)
  8. Bachmair,雷欧;Ganzinger,哈拉尔德:一阶传递关系的有序链计算器。(1998)
  9. Bicarregui,Juan C.(ED):VDM中的证明。案例研究(1998)
  10. 费什特河,基督教;SEIDL,赫尔穆特:传播差异:分布式约束系统的一种有效的新不动点算法(1998)
  11. 吉姆奈兹,爱德华多;Paulin Mohring,克里斯廷:导言(1998)
  12. 哈里森,约翰:实数定理证明(1998)
  13. 雅可布,巴特:面向对象语言中类的余代数推理(1998)
  14. 联合作用系统的机械化不变性证明(1998)
  15. 迈尔,李察:无限状态系统模型检验问题的可判定性和复杂性(1998)
  16. S.,Dill,D. L.:通过分布式事务聚合来验证高速缓存一致性协议(1998)
  17. P芬宁,弗兰克;SCH·U·R·卡斯滕:符号定义存在下的等式和统一算法(1998)
  18. Strecker,马丁;卢瑟,马尔科;von Henke,弗里德里希:类型理论中的交互式自动证明构造(1998)
  19. V.LoLKER,诺伯特;Kr SuMeR,Bernd J.:基于功能块的工业控制系统的自动验证(1998)
  20. 巴拉林,费利斯;基奥多,MasimiaNo;GuuStuo;Paolo;Hsieh,Harry;JurkSka,Atina;Lavagno,卢西亚诺;Passerone,克劳迪奥;Po.,Sooviic;Tabbara;铃木,Kei;BassAM:嵌入式系统的硬件软件协同设计。波利斯方法(1997)