PVS

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


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

显示结果581至600的600。
按年份排序(引文
  1. Mark E.,乌里韦,汤姆斯E.:一阶推理与决策程序的实用集成(1997)
  2. Bohn,JurrGe:一个基于逻辑的证明系统的通信系统设计微积分的机械支持和验证(1997)
  3. Bouhoula,Adel:通过测试集归纳证明定理(1997)
  4. Ethkoffe,K. A.;OZOLS,M. A.;Win,A:图形环境中状态机理论的证明策略(1997)
  5. Felty,Amy P.;Howe,Douglas J.:使用NUPRL和HOL(1997)的混合交互定理证明
  6. 亨塞尔,Ulrich;雅可布,BART:具有迭代递归的数据类型的证明原理(1997)
  7. Lesens,戴维;隐形刺客·迪迪,哈森:参数化网络的抽象(1997)
  8. Rue>,哈拉尔德:构造演算中的计算反射及其在定理证明中的应用(1997)
  9. Shankar,N:使用定理证明和模型检验的机器辅助验证(1997)
  10. 克尔斯滕:抽象状态机的模型检查(1997)
  11. 安德鲁斯、Peter B.、毕肖普、马修、Issar、Sunil、奈史密斯、丹、彭芬宁、丹、奚、红卫:TPS:经典类型理论的定理证明系统(1996)
  12. CyrLuk,戴维;林肯,帕特里克;Shankar,Natarajan:肖斯塔克的理论组合决策程序(1996)
  13. Ganzinger,哈拉尔德;Wordman,UWE:可交换Abelic幺半群中的定理证明(扩展摘要)(1996)
  14. Rue:哈拉尔德:演绎演绎框架下的形式策略反思(1996)
  15. 农民,William M.;Guttman,Joshua D.;塞耶,F. Javier:数学推理和计算中的语境(1995)
  16. Owre,山姆;RuSube,约翰;Shankar,Natarajan;亨克,弗里德里希von:容错体系结构的形式化验证:PVS设计的序言(1995)伊波尔特
  17. 霍曼,JoZeF:向实时扩展霍尔逻辑(1994)
  18. Kapur,D,聂,X;Musser,D. R.:构造证明系统的概述。(1994)伊波尔特
  19. Kapur,D,聂,X,Musser,D. R.:构造证明系统概述(1994)
  20. 农民,William M.;Guttman,Joshua D.;塞耶,F. Javier:IMPS:交互式数学证明系统(1993)