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开发),用于终止strategies下的重写;以及用于终止Maude程序的MTT工具(http://www.lcc.uma.es/duran/MTT/)。CiME2不再被维护,当前开发的版本是CiME3,可从http://a3pat.ensie.fr/pub获得。cim-e3的主要特征是Coq的新痕迹。CiME3也由CNAM的A3PAT项目参与者开发,并根据Cecill-C许可证进行分发。


zbMATH参考文献(38篇文章引用)

显示结果1到20,共38个。
按年份排序(引用)
  1. Nao Hirokawa;Aart Middeldorp;Sternagel,Christian;Sarah Winkler:抽象完成,正式(2019年)
  2. Ayala Rincon,Mauricio;Fernández,Maribel;Nantes Sobrinho,Daniele:具有正规形式和逆的局部稳定理论的入侵者演绎问题(2017)
  3. Blanchette,Jasmin Christian;Waldmann,Uwe;Wand,Daniel:A lambda-free高阶递归路径顺序(2017)
  4. Cruz Filipe,Luís;Larsen,Kim s.;Schneider Kamp,Peter:《正式证明分拣网络的尺寸优化》(2017年)
  5. Giesl,Jürgen;Aschermann,Cornelius;Brockschmidt,Marc;Emmes,Fabian;Frohn,Florian;Fuhs,Carsten;Hensel,Jera;Otto,Carsten;Plücker,Martin;Schneider Kamp,Peter;Ströder,Thomas;Swiderski,Stephanie;Thiemann,René:用\textsfAProVE自动分析程序终止和复杂性(2017)
  6. McCabe Dansted,John C.;Reynolds,Mark:重写(\mathrmCTL^\ast)的规则(2017)
  7. Nagele,Julian;Felgenhauer,Bertram;Zankl,Harald:通过相对终止和规则标记证明汇流证明(2017)
  8. Thomas Ströder;Giesl,Jürgen;Brockschmidt,Marc;Frohn,Florian;Fuhs,Carsten;Hensel,Jera;Schneider Kamp,Peter;Ascherman,Cornelius:自动证明指针算法程序的终止和内存安全(2017)
  9. Nagele,Julian;Middeldorp,Aart:左线性项重写系统的经典合流结果认证(2016)
  10. Cruz Filipe,Luís;Schneider Kamp,Peter:优化大规模计算机生成证据的认证证明检查器(2015)
  11. Nagele,Julian;Felgenhauer,Bertram;Middeldorp,Aart:通过冗余规则改进重写系统的自动汇流分析(2015)
  12. Nagele,Julian;Zankl,Harald:认证规则标签(2015)
  13. Giesl,Jürgen;Brockschmidt,Marc;Emmes,Fabian;Frohn,Florian;Fuhs,Carsten;Otto,Carsten;Plücker,Martin;Schneider Kamp,Peter;Ströder,Thomas;Swiderski,Stephanie;Thiemann,René:用AProVE证明程序自动终止(2014)
  14. Babić,Domagoj;Cook,Byron;Hu,Alan J.;Rakamarić,Zvonimir:证明非线性命令序列的终止(2013)
  15. Bouhoula,Adel;Jacquemard,Florent:conditional and constrained TRS的充分完备性验证(2012)
  16. 安妮·格温(Anne Gwenn)Bosser;皮埃尔·考蒂厄(Courtieu);朱利安·福瑞斯特(Forest),卡瓦扎(Cavazza),马克:《考克斯证明助理的叙事结构分析》(2011)
  17. Contejean,Évelyne;Courtieu,Pierre;Forest,Julien;Pons,Olivier;Urbain,Xavier:CiME3的自动认证证明(2011)
  18. Zankl,Harald;Felgenhauer,Bertram;Middeldorp,Aart:CSI——一种融合工具(2011)
  19. 《对抗对手的被动计算理论》(Steve Baudonique等人,2009年)
  20. Borralleras,Cristina;Lucas,Salvador;Navarro Marset,Rafael;Rodríguez Carbonell,Enric;Rubio,Albert:通过SAT模线性算法求解非线性多项式算法(2009)