自密实混凝土

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


zbMATH中的参考文献(参考文献11条)

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

  1. 斯基里克,斯蒂芬;梅斯盖尔,乔斯é: 变量可满足性的Metalevel算法(2018)
  2. 斯基里克,斯蒂芬;梅斯盖尔,乔斯é: 变量可满足性的Metalevel算法(2016)
  3. 波拿契娜,玛丽亚·保拉;富尔巴赫,乌尔里希;Sofronie Stokkermans,Viorica:基于一阶模型的推理(2015)
  4. 伯托莉亚,克拉西娅;蕨类植物ández,Maribel:《分布式环境访问控制的元模型:应用与属性》(2014)
  5. 布豪拉,阿德尔;Jacquemard,Florent:conditional and constrained TRS的充分完备性验证(2012)
  6. 杜尔án、 弗朗西斯科;梅斯盖尔,乔斯é: 论Church-Rosser和条件有序重写理论的连贯性(2012)
  7. 梅斯盖尔,乔斯é: 重写逻辑二十年(2012)
  8. 罗查,卡米洛;梅斯盖尔,乔斯é: 构造器、充分完备性和死锁自由重写理论(2010)
  9. 杜尔án、 弗朗西斯科;Ölveczky,Peter Csaba:扩展完整Maude的指南,说明了实时Maude的实现(2009)ioport公司
  10. 克莱维尔,曼纽尔;杜尔án、 弗朗西斯科;埃克,史蒂文;林肯,帕特里克;市场í-奥利特,纳西索;梅斯盖尔,乔斯é; Carolyn Talcott:关于Maude——一个高性能的逻辑框架。如何在重写逻辑中指定、编程和验证系统。带光盘(2007)
  11. 亨德里克斯,乔;克莱维尔,曼纽尔;梅斯盖尔,乔斯é: 部分规范的充分完备推理工具(2005)