钥匙

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