ITP

ITP工具是一个定理证明器,可以用来证明成员关系等式规范的属性,以及它们上的不完全指定算法,作为支持规范的增量开发的一种方式。成员等式逻辑是等式逻辑的表达版本,特别适合于指定和验证语义数据结构,例如有序列表、二进制搜索树、优先级队列和幂列表。


ZBMaCT中的参考文献(31篇文章中引用)

显示结果1至20的31。
按年份排序(引文
  1. 杜拉恩,弗朗西斯科;Eker,史提芬;埃斯科巴,圣地亚哥;MaMi'-OLIET,纳西索;MeeGuer-Joee;Rubio,RoueN;塔尔科特,卡洛琳:Mod(2020)中的程序设计和符号计算
  2. 卢卡斯·萨尔瓦多:证明语义属性为一阶可满足性(2019)
  3. Skeirik,史蒂芬;MeeGuer-Joe:变满足性的元算法(2018)
  4. 张,闵;奥加塔,Kazuhiro:从隐藏到可见:行为理论转化为重写理论的统一框架(2018)
  5. Skeirik,史蒂芬;MeeGuer-Joe:变满足性的元算法(2016)
  6. Boaina,Maria Paola;Furbah,Ulrich;Sofronie Stokkermans,Viorica:一阶模型推理(2015)
  7. 阿尔斯通,马里亚;埃斯科巴,圣地亚哥;埃斯佩特,哈维尔;梅塞格尔,约瑟夫:一种模序排序的等值泛化算法(2014)
  8. Bertolissi,克拉拉;费恩南德斯,Maribel:分布式环境访问控制的元模型:应用和性质(2014)
  9. Bouhoula,Adel;Jacquemard,Florent:条件约束TRS(2012)的充分完备性验证
  10. 杜拉恩,弗朗西斯科;梅塞格尔,约瑟夫:关于教会罗瑟和条件顺序排序重写理论的连贯性(2012)
  11. FutaSuGi,Kokichi;G in in,丹尼尔;OgaTa,Kazuhiro:CAFEOBO(2012)中的证明分数原则
  12. 梅塞格,乔斯:重写逻辑的二十年(2012)
  13. Codescu,米哈伊;莫萨科夫斯,直到;里斯科,阿德里安;Maeder,克里斯蒂安:把莫德融入HETS(2011)
  14. 梅塞格,约瑟夫;帕洛米诺,米格尔;MARITIO-OLIET,纳西索:代数模拟(2010)
  15. 罗查,CAMILO;MeeGuer-Joe:重写理论的构造函数、充分完备性和死锁自由度(2010)
  16. 阿尔皮特,马利亚,埃斯科巴,圣地亚哥;梅塞格,约斯;奥赫,佩德罗:排序排序泛化(2009)
  17. 阿尔斯通,马里亚;埃斯科巴,圣地亚哥;梅塞格尔,约斯;奥赫,佩德罗:一个模等式推广算法(2009)
  18. 杜拉恩,弗朗西斯科;奥尔维茨基,Peter Csaba:用实时Maod(2009)实现全莫德延伸指南伊波尔特
  19. 霍伦,比亚恩;约翰森,Einar Broch;瓦勒,阿里尔德:莫德(2009)一阶连接演算的证明探索
  20. 梅塞格,约瑟夫;帕洛米诺,米格尔;玛米利奥利特,纳西索:等式抽象(2008)