次/次 swMATH ID: 10262 软件作者: 社区Z工具项目 描述: Z/EVES Eclipse证明程序IDE。社区Z工具提供了一个基于Eclipse的IDE,并与Z/EVES定理证明器集成。这扩展了Z规范在CZT中的发展,具有定理证明和验证能力。Z/EVS Eclipse提供了一个现代环境来使用Z/EVES定理证明器。它是原始Z/EVES UI的替代品,该UI已不再处于开发阶段,在与现代操作系统一起使用时会出现问题。Z/EVS Eclipse将Z/EVES定理证明器引入现代IDE,并支持所有Z/EVES功能:向证明器写入和发送证明命令、查看证明输出、查询引理、节管理等。 主页: http://czt.sourceforge.net/eclipse/zeves/ 相关软件: Z轴;电源保护;马戏团;Coq公司;JML公司;ProB公司;合金;PVS公司;第二代外国存托凭证;自旋蛋白;第三方交易协议;伊莎贝尔/HOL;捷克共和国;火花;Why3号机组;红衣主教;梅斯4;校准仪9;RelView公司;伊莎贝尔 引用于: 35文件 全部的 前5名52位作者引用 10 詹姆斯·C·P·伍德科克。 6 利奥·弗雷塔斯 4 马克西米利亚诺·克里斯蒂亚 4 吉安弗兰科·罗西 三 安娜·卡瓦尔坎蒂 三 马塞尔·奥利维拉 2 约翰·德里克 2 Jochen Hoenicke公司 2 奥尔德罗格(Ernst-Rüdiger Olderog) 2 菲奥娜·波拉克。 2 格雷姆·史密斯 2 苏珊·斯蒂芬尼 2 伊恩·汤恩 1 努诺州阿马利奥 1 维克托·班杜尔 1 胡安·比卡雷奎。 1 保罗·博尔巴 1 S.M.布莱恩。 1 安德鲁·巴特菲尔德 1 程淑 1 达科斯塔,翁贝托·苏扎 1 朱尔根·丁格尔 1 马克·因弗诺 1 董金松 1 迪帕克·D’Souza 1 莱迪·杜·布斯奎特 1 苏菲·杜普·切萨 1 乔纳森·福特 1 付,郑 1 马丁·亨森。 1 C.A.R.Tony Hoare 1 Steve F.金。 1 幸运,迈克尔 1 马丁斯·莫雷拉,阿纳玛丽亚 1 亚历山大·莫塔。 1 Musicante,Martin A。 1 北部,Siobhán 1 奥古斯托·桑帕约。 1 施耐德(Steve A.Schneider)。 1 Natarajan Shankar 1 Shin、Dongsoo 1 安东尼·西蒙斯(Anthony J.H.Simons)。 1 Souza Neto,Plácido A。 1 孙静 1 海伦·特里哈恩 1 王海 1 保罗·沃森。 1 海克·卫尔海姆 1 卢克·威尔德曼 1 克尔斯滕·温特 1 泽达,弗兰克 1 张艺奇 全部的 前5名10篇连载文章中引用 5 计算机程序设计科学 5 计算的形式方面 2 自动推理杂志 1 信息学报 1 韩国数学学会公报 1 符号计算杂志 1 逻辑与计算杂志 1 国际计算机数学杂志 1 北欧计算机杂志 1 计算机科学课堂讲稿 在4个字段中引用 34 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 代数几何(14-XX) 按年份列出的引文