EVES公司 swMATH ID: 28893 软件作者： Sento Kromodimoeljo；比尔·帕斯；Mark Saaltink；丹·克雷根（Dan Craigen）；欧文·梅赛尔 描述： EVES系统。在简单介绍之后，我们讨论了EVES的两个应用。第一个应用是雅各布森定理的证明。第二个应用程序是小型编程语言的解释器的证明；本文描述了解释器证明的部分内容。最后，我们讨论了“函数编程、并发、仿真和自动推理”（FPCSAR）国际系列讲座中提出的一些问题。 主页： https://rd.springer.com/chapter/10.1007/3-540-56883-2_16 依赖项： Lisp语言 相关软件： IMPS公司；PVS公司；霍尔；NQTHM公司；CVC公司；分析；Nuprl公司；剑桥LCF；伊莎贝尔/采埃孚；Z轴；电源保护；简化；狼吞虎咽；数学软件；低成本融资；自动化；米扎尔；水獭；伊斯兰教；枣灰蝶属 引用于： 7文件 全部的 前5名11位作者引用 2 Farmer，William M。 2 塞萨尔·蒂内利 2 卡拉戈罗·扎尔巴。 1 David A.Cyrluk。 1 约书亚·D·古特曼。 1 帕特里克·D·林肯。 1 努卡，礼物 1 劳伦斯·查尔斯·保尔森 1 Natarajan Shankar 1 马丁·冯·莫伦柴尔德 1 詹姆斯·C·P·伍德科克。 连载1篇 2 自动推理杂志 在2个字段中引用 6 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的引文