自密实混凝土

部分规范的充分完备推理工具。我们提出了Maude充分完备性工具，它明确地支持具有排序和子端口以及由条件成员定义的函数域的部分条件规范的充分完备性推理。我们的工具由两个主要部分组成：（i）一个充分完整性分析器，它生成一组证明义务，如果解除，则确保充分的完备性；和（ii）Maude的归纳定理证明程序（ITP），它被用作后台，尝试自动解除这些证明义务。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH参考文献（参考 11篇文章

显示第11到第1个结果。
按年份排序(引用)

  1. Stephen Skeirik；Meseguer，José：变量可满足性的Metalevel算法（2018）
  2. Stephen Skeirik；Meseguer，José：变量可满足性的Metalevel算法（2016）
  3. Bonacina，Maria Paola；Furbach，Ulrich；Sofronie Stokkermans，Violica:基于一阶模型的推理（2015）
  4. Bertolissi，Clara；Fernández，Maribel:分布式环境访问控制的元模型：应用和属性（2014）
  5. Bouhoula，Adel；Jacquemard，Florent:conditional and constrained TRS的充分完备性验证（2012）
  6. 杜兰，弗朗西斯科；梅斯盖尔，何塞：论条件性有序重写理论的Church Rosser和连贯性（2012）
  7. JoséMeseguer：《重写逻辑的二十年》（2012）
  8. Rocha，Camilo；Meseguer，José：重写理论的构造器、充分完备性和死锁自由（2010）
  9. Durán，Francisco；lveczky，Peter Csaba:扩展完整Maude的指南，说明了实时Maude的实现（2009）ioport公司
  10. 曼纽尔·克莱维尔；弗朗西斯科的杜兰；史蒂文的埃克；帕特里克的林肯；玛蒂奥利特，纳西索；梅斯盖尔，乔斯；塔尔科特，卡罗琳：《关于莫德的一切——一个高性能的逻辑框架》。如何在重写逻辑中指定、编程和验证系统。带光盘（2007）
  11. Hendrix，Joe；Clavel，Manuel；Meseguer，José：部分规范的充分完整性推理工具（2005）