鳞癌

部分规范的充分完备性推理工具。我们提出了MADUD充分完备性工具，它明确支持部分条件规范的充分完备性推理，其具有分类和子分类以及由条件成员定义的函数的域。我们的工具包括两个主要的组成部分：（i）一个足够的完整性分析器，它产生一组证明义务，如果它被释放，确保足够的完整性；以及（ii）Maude的归纳定理证明器（ITP），它被用作后端来自动地排出那些证明义务。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaCT中的参考文献（11篇文章中引用）

显示结果1至11的11。
按年份排序（引文）

  1. Skeirik，史蒂芬；MeeGuer-Joe:变满足性的元算法（2018）
  2. Skeirik，史蒂芬；MeeGuer-Joe:变满足性的元算法（2016）
  3. Boaina，Maria Paola；Furbah，Ulrich；Sofronie Stokkermans，Viorica：一阶模型推理（2015）
  4. Bertolissi，克拉拉；费恩南德斯，Maribel：分布式环境访问控制的元模型：应用和性质（2014）
  5. Bouhoula，Adel；Jacquemard，Florent：条件约束TRS（2012）的充分完备性验证
  6. 杜拉恩，弗朗西斯科；梅塞格尔，约瑟夫：关于教会罗瑟和条件顺序排序重写理论的连贯性（2012）
  7. 梅塞格，乔斯：重写逻辑的二十年（2012）
  8. 罗查，CAMILO；MeeGuer-Joe:重写理论的构造函数、充分完备性和死锁自由度（2010）
  9. 杜拉恩，弗朗西斯科；奥尔维茨基，Peter Csaba：用实时Maod（2009）实现全莫德延伸指南伊波尔特
  10. 克拉维尔、曼努埃尔、杜拉恩、弗朗西斯科、Eker、史提芬、林肯、帕特里克、MaMi'-OLIET、纳西索；MeeGuer-Joe:；如何在重写逻辑中指定、编程和验证系统。用CD-ROM（2007）
  11. 亨德里克斯，乔；克拉维尔，曼努埃尔；MeeGuer-Joe:一个部分规范的充分完备性推理工具（2005）