钥匙

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


zbMATH中的参考文献(参考 63篇文章,3标准条款)

显示第1到第20个结果,共63个。
按年份排序(引文)
  1. de Gouw,Stijn;de Boer,Frank S.;Bubel,Richard;Hähnle,Reiner;Rot,Jurriaan;Steinhöfel,Dominic:验证OpenJDK的泛型集合排序方法(2019年)
  2. Menghi,Claudio;Spoletini,Paola;Chechik,Marsha;Ghezzi,Carlo:控制器迭代设计的验证驱动框架(2019)
  3. 普拉泽、安德烈:一举换下制服(2019年)
  4. Alexander Knüppel;Thüm,Thomas;Pardylla,Carsten Immanuel;Schaefer,Ina:理解演绎验证的参数:对key的实证调查(2018)
  5. Müller,Peter(编辑);Schaefer,Ina(编辑):原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月(2018年),德国凯泽斯劳滕,研讨会上的演讲精选论文
  6. Ahrendt,Wolfgang;Chimento,Jesús Mauricio;Pace,Gordon J.;Schneider,Gerardo:《结合静态和运行时验证验证的数据和控件导向属性:理论与工具》(2017)
  7. 沃尔夫冈·阿伦特(Ahrendt);劳拉·科瓦茨(Kovács);西蒙·罗比拉德(Robilard),西蒙:《在钥匙里使用吸血鬼的推理》(2015)
  8. Nathan Fulton;Mitsch,Stefan;Quesel,Jan David;Völp,Marcus;Platzer,André:KeYmaera X:混合系统的公理化战术定理证明者(2015)
  9. 黑山,Manuel;Peña,Ricardo;Sánchez Hernández,Jaime:验证条件生成的通用中间表示法(2015)
  10. Tschannen,J.;Furia,CA;Nordio,M.;Polikarpova,N.:AutoProof:面向对象程序的自动主动功能验证(2015)阿尔十四
  11. 沃尔夫冈·阿伦特;贝克特,伯恩哈德;布伦斯,丹尼尔;布贝尔,理查德;格拉迪斯,克里斯托夫;格雷宾,莎拉;Hähnle,雷纳;亨切尔,马丁;赫尔达,米海;克莱班诺夫,弗拉基米尔;莫斯托夫斯基,沃伊切赫;舍本,克里斯托夫;施密特,彼得;乌尔布里希,马蒂亚斯:Java程序验证和分析的关键平台(2014年)ioport公司
  12. De Gouw,Stijn;De Boer,Frank;Rot,Jurriaan:《证明珍珠:正确和稳定分类的关键》(2014)
  13. Kohlhase,Michael;Mance,Felix;Rabe,Florian:一种用于双形理论图的通用机器(2013)
  14. 秦胜超;何冠华;秦维安;杨红丽:用于自动程序验证的组合域上的不变量合成(2013)
  15. Barros,JoséBernardo;da Cruz,Daniela;Henriques,Pedro Rangel;Pinto,Jorge Sousa:基于断言的切片和切片图(2012)
  16. Ulbrich,Mattias;Geilmann,Ulrich;El Ghazi,Aboubakr Achraf;Taghdiri,Mana:合金规范的证明助理(2012)
  17. Frade,Maria João;Pinto,Jorge Sousa:源代码级命令式程序的验证条件(2011)
  18. 卡博特,乔迪;保罗,拉奎尔;拉文图斯,鲁思:从UML/OCL到SBVR规范:一个富有挑战性的转变(2010)ioport公司
  19. du Bousquet,Lydie;Ledru,Yves;Maury,Olivier;Oriat,Catherine;Lanet,Jean-Louis:重用专门用于验证测试的JML规范,反之亦然:案例研究(2010)ioport公司
  20. 考尔,斯特凡;温克勒,Jürgen F.H.:for循环不变量的机械推理(2010)

更多出版物请访问:http://www.key-project.org/publicat.html