PVS

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


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

显示结果541至560的600。
按年份排序(引文
  1. Abhik;库马尔,K. Narayan;拉玛克里希南,C. R.;Ramakrishnan,I. V.;斯摩尔卡,Scott A.:用逻辑程序变换验证参数化系统(2000)
  2. Rushby,约翰:重新验证验证图:便于验证的析取不变量(2000)
  3. RusioWoigy,米莎L;SttululAT,Sorin;Klay,弗兰西斯:一种理想的增量ABR一致性算法的机械验证(2000)
  4. Shankar,Natarajan:通过符号分析结合定理证明和模型检验(2000)
  5. Shankar、Natarajan、欧维、山姆:PVS分型的原则与语用(2000)
  6. 佐尔格,Volker:证据规划中的非平凡符号计算(2000)
  7. TRAORE,Issa:UML状态图的PVS语义概述(2000)
  8. TravSo,Paolo;Bertoli,Piergiorgio:机械化结果验证:工业应用(2000)
  9. van den Berg,约阿希姆;Huisman,Marieke;雅可布,Bart;Pull,埃里克:一种用于验证Java程序顺序的类型理论记忆模型(2000)
  10. Abdulla,Parosh Aziz;安妮迟妮,Auroor;Bensalem,Saddek;Bouajjani,艾哈迈德;哈伯梅尔,彼得;LaGaNeCH,Fube:结合抽象和可达性分析验证无限状态系统(1999)
  11. 亚当斯,A. A.;Gottliebsen,H.;林顿,S. A.;马丁,U:VSDITLU:一个可验证的符号定积分查表(1999)
  12. 艾特肯,William E.;警官,Robert L.;安德伍德,Judith L.:元话语框架。二:制定反映决策程序(1999)
  13. Berghofer,斯特凡;文策尔,Markus:HOL中的归纳数据类型——形式逻辑工程中的经验教训(1999)
  14. Dominique:使用抽象解释进行安全协议的安全验证(1999)
  15. Bowen,Jonathan P.(ED);Hinchey,Michael G.(ED):高完整性系统规范和设计(1999)
  16. Dellacherie,S,Devulder;兰伯特,J.L.:基于线性规划的软件验证(1999)
  17. Fiel-Tre,Jean Christophe:类型理论中命令程序的证明(1999)
  18. G.R.Trnter,Felix C.:容错系统规范和验证的转换方法:形式背景和分类(1999)
  19. Goeigk,沃尔夫冈;Gaul,Thilo;齐默尔曼,沃尔夫:没有证据证明正确的程序?基于棋盘格的程序验证(1999)
  20. 亨塞尔,Ulrich;雅可布,巴特:PVS序列的余代数理论(1999)