钥匙

关键系统是一种形式化的软件开发工具,其目标是尽可能无缝地集成面向对象软件的设计、实现、形式化规范和形式化验证。该系统的核心是一个新的定理证明器的一阶动态逻辑的Java与用户友好的图形界面。这个项目是1998年11月在卡尔斯鲁厄大学开始的。现在是卡尔斯鲁厄理工学院与查尔默斯技术大学、哥德堡和涂达姆施塔特的联合项目。


ZBMaX中的参考文献(63篇)3篇标准文章

显示结果1至20的63。
按年份排序(引文
  1. de Gouw,史坦恩;德波尔,Frank S.;巴贝尔,李察;H.Hnle,赖纳;Road,JuriaAn;Steinh OfEL,多米尼克:验证OpenJDK通用集合的排序方法(2019)
  2. Menghi,克劳迪奥;Spoletini,葆拉;切契克,玛莎;Ghezzi,Carlo:一种验证驱动的控制器迭代设计框架(2019)
  3. Platzer,安德烈:一举“一代宗师”(2019)
  4. KN Puppl,亚力山大;Thμm,托马斯;PAREDLA,Carsten Immanuel;舍费尔,INA:理解演绎验证的参数:KEY(2018)的实证研究
  5. Müü勒,彼得(ED);舍费尔,INA(ED.):原则性软件开发。在他第六十岁生日的时候,献给阿瑟德。基于论文集的论文,德国凯撒斯劳滕,2018年11月(2018)
  6. Arrnt,沃尔夫冈;奇门托,Jes s Mauricio;Posit,Gordon J.;Schneider,Gerardo:验证数据和面向控制的属性,结合静态和运行时验证:理论和工具(2017)
  7. 阿伦德尔,沃尔夫冈;科瓦斯,劳拉;罗比拉德,西蒙:用吸血鬼在钥匙中循环的推理(2015)
  8. 富尔顿、弥敦、米契、斯特凡、Quesel、简·戴维、V·P、马库斯、普拉泽、安德雷斯:KeMaEYX:混合系统公理化的定理证明器(2015)
  9. 黑山,曼努埃尔;Pe Na,李嘉图;ShannChz Hern Nordz,雅伊姆:验证条件生成的通用中间表示(2015)
  10. Tschannen,J;Fura,CA;Norddio,M.;Polikarpova,N:自动验证:面向对象程序的自动主动功能验证(2015)阿西夫
  11. 阿伦特,沃尔夫冈;Beckert,伯恩哈德;布伦斯,丹尼尔;Baulel.李察;Gladisch,克里斯托夫;H.Hnle,Y.;Hyda,Y.;;;,M.,WojiCh;SoeBein;YoBiffi;MyTias:Java程序验证和分析的关键平台(2014)伊波尔特
  12. De Gouw,史坦恩;德波尔,弗兰克;Road,Juriaa:证明珍珠:正确和稳定排序的关键(2014)
  13. Kohlhase,米迦勒;曼斯,菲利克斯;Rabe,弗洛里安:一个通用的双形理论图机器(2013)
  14. 秦,盛超;He,Guanhua;Chin,Wei Ngan;杨,红利:用于自动程序验证的组合域上的不变量合成(2013)
  15. 巴罗斯,约瑟夫贝尔纳多;da Cruz,达妮埃拉;Henriques,Pedro Rangel;平托,Jorge Sousa:基于断言的切片和切片图(2012)
  16. Ulbrich,马蒂亚斯;盖尔曼,Ulrich;El Ghazi,Aboubakr Achraf;Taghdiri,玛娜:合金规范的证明助理(2012)
  17. 弗雷德,Maria Jo,O,平托,Jorge Sousa:源级命令程序的验证条件(2011)
  18. 卡伯特,霍尔迪;PaU,拉奎尔;RaveTys,鲁思:从UML/OCL到SBVR规范:挑战性的转变(2010)伊波尔特
  19. 杜波塞克,Lydie;Ledru,Yves;莫利,奥利维尔;奥里亚特,凯瑟琳;Lanet,让路易斯:重用JML规范专用于测试验证,反之亦然:案例研究(2010)伊波尔特
  20. Kauer,斯特凡;温克勒,Jürg.H.H.:环的不变量的机械推断(2010)

进一步的出版物可以在:HTTP://www. Ky-jpj.Org/Pualth.HTML