最惠国待遇 swMATH ID: 9764 软件作者： 弗朗西斯科·杜兰；卡米洛·罗查；何塞·M·阿尔瓦雷斯。 描述： Maude Formal Environment（MFE）是一个可执行且高度可扩展的软件基础设施，用户可以在其中与多个工具交互，以机械验证Maude规范的属性。在MFE中，工具可以互操作以解除不同性质的证明义务，而无需在不同的工具环境之间切换。MFE公共环境中不同工具的集成为用户提供了一致的用户界面，一种跟踪未决证明义务的机制，并允许执行每个工具的多个实例，以及其他功能。MFE在Maude中自然地被建模为一个基于对象的系统，其中工具是对象，它们的通信机制是消息传递。用户交互可以通过Full Maude实现，Full Maude是Maude的一个扩展，它已成为构建工具的通用基础，提供了模块化设计，可以轻松集成用Maude编写的其他工具。MFE中已经集成了五种具有高度不同设计和实现的工具。即Maude终止工具（MTT）、Church-Rosser检查器（CRC）、相干检查器（ChC）、充分完备性检查器（SCC）和Maude归纳定理证明器（ITP）。尽管这些工具具有异构性和孤立的概念，但在MFE中集成了这些工具，很少进行代码更改，其中许多更改是由于重命名了排序和运算符。对于依赖于无法从Maude直接获得的外部实用程序（如MTT和SCC）的工具，我们使用与与外部工具交互的适当C++代码相关联的内置操作符扩展了Maude系统的最新版本。已对SCC进行了类似的延期。 主页： http://maude.lcc.uma.es/MFE网站/ 相关软件： 莫德；ITP公司；PMaude公司；D装货商；PVeStA公司；莫德-NPA；OBJ3型；西洋陆军棋；第3章；合同专用条款；MTT法；猪肉；github；风暴；PSMaude公司；PyMC公司；MultiVeStA公司；棱镜；Matlab公司；ACUOS2号机组 引用于： 4文件 全部的 前5名9位作者引用 三 何塞·梅塞盖尔·瓜伊塔 2 弗朗西斯科·杜兰 2 马丁·奥列特，纳西索 2 鲁宾·鲁比奥 1 史蒂文·艾克 1 圣地亚哥埃斯科瓦尔 1 伊莎贝尔·皮塔 1 卡罗琳·塔尔科特。 1 阿尔贝托·维尔德乔 2篇连载文章中引用 2 逻辑与代数程序设计杂志 1 程序设计中的逻辑与代数方法杂志 在2个字段中引用 4 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文