×

凯伊

swMATH ID: 9969
软件作者: http://www.key-project.org/people.html
描述: KeY系统是一个正式的软件开发工具,旨在尽可能无缝地集成面向对象软件的设计、实现、正式规范和正式验证。该系统的核心是一个新颖的Java一阶动态逻辑定理证明器,具有用户友好的图形界面。该项目于1998年11月在卡尔斯鲁厄大学启动。它现在是卡尔斯鲁厄理工学院与哥德堡查尔默斯理工大学和达姆施塔特工业大学的联合项目。
主页: http://www.key-project.org/
相关软件: JML公司;电子稳定控制系统/Java;卡拉卡拉;Why3号机组;规格#;布吉;PVS公司;简化;艾菲尔;达夫尼;伊莎贝尔/HOL;Coq公司;z3(零3);WhyML公司;Caduceus公司;JUnit公司;VeriFast公司;OpenJML(打开JML);Frama-C公司;莫德
引用于: 55文件
更多出版物: http://www.key-project.org/publicat.html
全部的 前5名

111位作者引用

8 伯恩哈德·贝克特
7 沃尔夫冈·阿伦特
6 雷纳·哈内尔
4 斯蒂恩·德古乌
4 菲利普·吕默
3 德波尔(Frank S。
3 马丁·吉斯(Martin A.Giese)。
3 埃尔玛·哈贝马斯
3 豪尔赫·索萨·品托
3 安德烈亚斯·巴切尔·罗思
3 施特芬·施拉格
3 彼得·施密特(Peter H.Schmitt)。
3 马蒂亚斯·乌尔布里奇
2 托马斯·巴尔
2 阿希姆·D·布鲁克。
2 理查德·布贝尔
2 玛丽亚·乔昂·弗雷德
2 托拜厄斯·盖德尔
2 克里斯托夫·格拉迪什。
2 科瓦奇,劳拉·伊尔迪科
2 沃尔夫拉姆·门泽尔
2 沃伊西奇·莫斯托夫斯基。
2 彼得·米勒
2 斯坦尼斯拉斯南城
2 安德烈·普拉泽
2 朱里安·罗特
2 伊娜·谢弗
2 杰拉尔多·施奈德
2 Robert F.Stärk。
2 沃尔夫,伯克哈特
1 罗莎·阿巴斯
1 Andronick,六月
1 大卫·阿斯皮纳尔
1 何塞·伯纳多·巴罗斯
1 伦纳特·贝林格
1 边、金婷
1 博尔祖·博纳克达尔普尔
1 大卫·伯克。
1 帕特里斯·沙林
1 Chechik,玛莎
1 布埃纳·切塔利
1 杰苏斯·莫里西奥·奇曼托
1 秦伟彦
1 达妮拉·达克鲁兹
1 伊娃·达鲁洛娃
1 马丁·德·波尔(Martin J.M.de Boer)。
1 Detlefs,David L。
1 弗朗西斯科·杜兰
1 艾尔·加齐(El Ghazi),阿布巴克·阿赫拉夫(Aboubakr Achraf)
1 英戈·费内尔
1 内森·富尔顿
1 乌尔里希·盖尔曼
1 卡洛·盖齐
1 林赛·格罗夫斯。
1 何冠华
1 佩德罗·兰格尔·恩里克
1 托马斯·亨辛格(Thomas A.Henzinger)。
1 Hiep,Hans-Dieter A。
1 马丁·霍夫曼
1 蒂波特酒店
1 克里斯托弗·约翰尼森
1 Christian Antonius荣格
1 斯特凡·考尔
1 乔纳斯·克拉姆罗斯
1 亚历山大·克努佩尔
1 迈克尔·科尔哈斯
1 加里·莱文斯。
1 Leino,K.Rustan M。
1 汉斯·沃尔夫冈·洛伊德尔
1 费利克斯·曼斯
1 安德烈亚斯·梅耶
1 艾丽卡,梅利斯
1 克劳迪奥·蒙吉
1 斯特凡·米奇
1 阿尔贝托·莫米利亚诺
1 黑山,曼努埃尔
1 约翰·马林斯
1 格雷格·纳尔逊
1 拉韦卡Oarga
1 戈登·佩斯。
1 卡斯滕·伊曼纽尔·帕迪拉
1 克里斯汀·保林·莫林
1 大卫·J·皮尔斯。
1 尼古拉斯·佩尔蒂埃
1 里卡多·佩纳
1 阿恩·施·赫夫特
1 秦胜超
1 贾·戴维德·奎塞尔
1 佛罗里达州拉贝
1 西蒙·罗比拉德
1 曼纽尔·罗尔丹
1 格诺·萨尔泽
1 詹姆·桑切斯·埃尔南德斯
1 塞萨尔·桑切斯
1 拉尔夫·萨西
1 詹姆斯·B·萨克斯。
1 乔纳斯·希夫尔
1 沃尔夫拉姆·舒尔特
1 穆罕默德·阿里·沙阿
1 斯波莱蒂尼,波拉
…还有11位作者

按年份列出的引文