CiME公司

CiME是一个重写工具箱。自1996年作为开放源代码发布,网址http://cime.lri.fr。除了几十个用户之外,CiME还被用作其他工具的后端,比如Bielefeld大学Enno Ohlebusch开发的用于终止逻辑程序的TALP工具;MU-TERM工具(http://www.dsic.upv.es/ slucas/csr/termination/muterm/),用于终止上下文相关重写;CARIBOO工具(在INRIA Nancy Grand Est开发),用于根据策略终止重写;以及MTT工具(http://www.lcc.uma.es/ duran/MTT/)终止Maude项目。不再维护CiME2,当前开发的版本是CiME3,可从http://a3pat.ensie.fr/pub. CiME3的主要新功能是为Coq生产微量元素。CiME3也由CNAM的A3PAT项目参与者开发,并根据Cecill-C许可证进行分发。


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

显示结果1到20,共38个。
按年份排序(引用)
  1. 广川,脑;米德尔多普,Aart;胸骨,基督教;Sarah Winkler:抽象完成,正式化(2019年)
  2. 阿亚拉林克ón、 毛里西奥;蕨类植物á恩德斯,玛丽贝尔;Nantes Sobrinho,Daniele:具有正规形式和逆的局部稳定理论的入侵者演绎问题(2017)
  3. 布兰切特,贾斯敏·克里斯蒂安;沃尔德曼,Uwe;Daniel Wand:无lambda高阶递归路径阶(2017)
  4. 克鲁兹·菲利佩,卢ís;拉森,金S。;Schneider Kamp,Peter:正式证明分拣网络的尺寸优化(2017)
  5. 吉尔斯,Jü尔根;阿斯切曼,科尼利厄斯;布罗克施密特,马克;埃姆斯,费边;弗罗恩,弗洛里安;福斯,卡斯滕;亨塞尔,杰拉;奥托,卡斯滕;损益表ü克尔,马丁;施耐德·坎普,彼得;结构ö德尔,托马斯;斯威德斯基,斯蒂芬妮;蒂曼,伦é: 使用\textsfAProVE(2017)自动分析程序终止和复杂性
  6. 麦卡贝·丹斯特德,约翰·C。;雷诺兹,马克:改写(\mathrmCTL^\ast)(2017)的规则
  7. 纳格尔,朱利安;费尔根豪尔,伯特伦;Zankl,Harald:通过相对终止和规则标记证明汇流证明(2017)
  8. 结构ö德尔,托马斯;吉尔斯,Jü尔根;布罗克施密特,马克;弗罗恩,弗洛里安;福斯,卡斯滕;亨塞尔,杰拉;施耐德·坎普,彼得;Aschermann,Cornelius:自动证明指针算法程序的终止和内存安全(2017)
  9. 纳格尔,朱利安;米德尔多普,Aart:左线性项重写系统的经典合流结果证明(2016)
  10. 克鲁兹·菲利佩,卢ís;Schneider Kamp,Peter:优化大型计算机生成证据的认证证明检查器(2015)
  11. 纳格尔,朱利安;费尔根豪尔,伯特伦;米德尔多普,Aart:通过冗余规则改进重写系统的自动汇合分析(2015)
  12. 纳格尔,朱利安;Zankl,Harald:认证规则标签(2015)
  13. 吉尔斯,Jü尔根;布罗克施密特,马克;埃姆斯,费边;弗罗恩,弗洛里安;福斯,卡斯滕;奥托,卡斯滕;损益表ü克尔,马丁;施耐德·坎普,彼得;结构ö德尔,托马斯;斯威德斯基,斯蒂芬妮;蒂曼,伦é: 通过批准证明课程自动终止(2014年)
  14. 巴比ć, 多马戈伊;库克,拜伦;胡,艾伦J。;拉卡马利ć, 非线性命令终止(MIRONIZV证明序列)
  15. 布豪拉,阿德尔;Jacquemard,Florent:conditional and constrained TRS的充分完备性验证(2012)
  16. 博泽,安妮·格温;考蒂厄,皮埃尔;森林,朱利安;卡瓦扎,马克:《用考证助手对叙事的结构分析》(2011)
  17. 伯爵夫人,É维林;考蒂厄,皮埃尔;森林,朱利安;庞斯,奥利弗;Urbain,Xavier:CiME3的自动认证证明(2011)
  18. 扎克尔,哈拉尔德;费尔根豪尔,伯特伦;米德尔多普,Aart:CSI——一个融合工具(2011)
  19. 波德,马修;科蒂尔,Vé浪人;Kremer,Steve:对抗被动对手的等式理论的合理计算实现(2009)
  20. 博拉雷拉斯,克里斯蒂娜;卢卡斯,萨尔瓦多;纳瓦罗·马塞特,拉斐尔;罗德í盖兹·卡博内尔,恩里克;Rubio,Albert:用SAT模线性算法求解非线性多项式算法(2009)