PVS公司

PVS是一个验证系统:也就是说,一种集成了支持工具和定理证明器的规范语言。它旨在以机械化的形式化方法捕捉最新技术,并且足够坚固,可以用于重要应用。PVS是一个研究原型:随着我们开发或应用新功能,以及随着实际使用的压力暴露出新的需求,它会不断发展和改进。


zbMATH中的参考文献(引用于 602篇,4标准条款)

显示602的结果1到20。
按年份排序(引用)

1 2 ... 29 30 31 下一个

  1. Apt,Krzysztof R.;Olderog,Ernst-Rüdiger:霍尔逻辑五十年(2019)
  2. 陈明杰(2019;陈明杰;陈明华;陈明杰;陈明华)
  3. Li,Wenda;Passmore,Grant Olney;Paulson,Lawrence C.:在Isabelle/HOL(2019年)中使用不可信证书确定单变量多项式问题
  4. 从ACL 2到2019年摩尔定理的里程碑
  5. Müller,Dennis;Rabe,Florian;Sacerdoti Coen,Claudio:作为理论图的Coq库(2019)
  6. Paulson,Lawrence C.;Nipkow,Tobias;Wenzel,Makarius:从LCF到Isabelle/HOL(2019年)
  7. Wang,Meng;Tian,Cong;Zhang,Nan;Duan,Zhenhua;Du,Hongwei:验证安全关键系统的调度协议(2019)
  8. 考德利尔,拉斐尔:《Meta-Dedukti的战术和证书》(2018)
  9. 《机械化技术之比较:约翰·多尔克、杰斯霍恩;赫尔金·多尔克《两种机械化技术》;海尔克·多尔克《机械化技术》;海尔克·多尔克《两种机械化技术》;海尔克·多尔克《机械化技术》;海尔克·多尔克《机械化技术》
  10. Dubois,Catherine;Giorgetti,Alain:自定义数据生成器的测试和证明(2018)
  11. He,Shaobo;Lahiri,Shuvendu K.;Rakamarić,Zvonimir:验证程序近似的相对安全性、准确性和终止性(2018年)
  12. Lochbihler,Andreas:Isabelle/HOL中的快速机器词(2018)
  13. Lochbihler,Andreas;Schneider,Joshua:模块化(co)数据类型的关系参数和商保持(2018)
  14. Moscato,Mariano M.;Lopez Pombo,Carlos G.;Muñoz,César A.;Feliú,Marco A.:促进正式规范的重用(2018年)
  15. Müller,Dennis;Kohlhase,Michael;Rabe,Florian:知识管理的自动寻找理论形态(2018)
  16. Müller,丹尼斯;Rabe,Florian;Kohlhase,Michael:理论类型(2018)
  17. Guillaume Petiot;尼古拉Kosmatov;Botella,Bernard;Giorgetti,Alain;Julliand,Jacques:测试如何帮助诊断验证失败(2018)
  18. 拉贝,弗洛里安:模块化类型重建算法(2018)
  19. Shankar,Natarajan:模型检验与演绎相结合(2018)
  20. Shi,Ling;Zhao,Yongxin;Liu,Yang;Sun,Jun;Dong,Jin Song;Qin,Shengchao:PVS中用于共享变量的进程通信的UTP语义及其形式化编码(2018)

1 2 ... 29 30 31 下一个