PVS

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


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

显示结果1至20的593。
按年份排序(引文
  1. 李,Wenda;PASSMOR,Grant Olney;保尔森,Lawrence C.:在伊莎贝尔/HOL(2019)中使用不可信证书来决定单变量多项式问题
  2. M·勒勒,丹尼斯;拉贝,弗洛里安;Sacerdoti Coen,克劳迪奥:作为理论图的COQ库(2019)
  3. 王,孟;田,康镇;张,南;段,Zhenhua;杜,红伟:验证安全关键系统调度协议(2019)
  4. 卡德里耶,拉斐尔:Meta DeDukTI的策略和证书(2018)
  5. Derrick,约翰;多尔蒂,西蒙;唐格尔,布里吉什;谢尔霍恩,格哈德;Travkin,奥列格;Wehrheim,黑克:机械化不透明度证明:两种技术的比较(2018)
  6. 杜布瓦,凯瑟琳;GioGeTi,ALAN:自定义数据生成器的测试和证明(2018)
  7. He,Shaobo;拉希里,Shuvendu K.;拉卡马里·Zvnimi:验证程序近似的相对安全性、准确性和终止性(2018)
  8. Lochbihler,安德烈亚斯:伊莎贝尔/HOL中的快速机器字(2018)
  9. Lochbihler,安德烈亚斯;Schneider,约书亚:模块化(CO)数据类型的关系参数和商保留(2018)
  10. 莫斯卡托,Mariano M.;Lopez Pombo,Carlos G.;穆尼奥兹,C.S.A.;菲利斯,Marco A.:促进正式规范的再利用(2018)
  11. M·勒勒,丹尼斯;Kohlhase,米迦勒;拉贝,弗洛里安:自动寻找知识管理的理论射射(2018)
  12. 米勒,丹尼斯;拉贝,弗洛里安;Kohlhase,米迦勒:作为类型的理论(2018)
  13. PiToT,纪尧姆;Kosmatov,尼古莱;Botella,伯纳德;GojeTi,Alain;Juliand,贾可:如何帮助诊断证明失败(2018)
  14. Rabe,弗洛里安:模块化重构算法(2018)
  15. Shankar、Natarajan:模型检验与演绎的结合(2018)
  16. 施,凌;赵,永新;刘,杨;孙,军;Dong,金松;秦,盛超:一个用于共享变量的进程的UTP语义及其在PVS中的形式编码(2018)
  17. 张,闵;奥加塔,Kazuhiro:从隐藏到可见:行为理论转化为重写理论的统一框架(2018)
  18. Aguado,F;Ascariz,P.Cabalar,P.Pe Rez,G;Vidal,C: ASP指称语义的验证:使用PVS定理证明器的案例研究(2017)
  19. Aransay,Jes S;DIVASS,若泽:线性代数基本定理HOL的形式化及其在最小二乘问题求解中的应用(2017)
  20. Ayala Rinc·N,Mauricio;de Carvalho Segundo,华盛顿;费尔南德斯,Maribel;南特索布利尼奥,Daniele:用A和AC函数符号形式化名词(α)的等价性(2017)