骑自行车的人

Cyclist是一个基于序列演算构建循环定理证明器的框架。此外,多年来,一些决策过程或算法已经被集成,主要集中在具有归纳定义谓词的分离逻辑上。有关构建Cyclist的信息,包括可用的工具以及支持这些工具的论文,请访问www.Cyclist-prover.org


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

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

  1. Das,Anupam:论循环算术的逻辑复杂性(2020)
  2. Echenim,M.;Peltier,N.:结合归纳和基于饱和的定理证明(2020)
  3. Tellez,Gadi;Brotherston,James:用循环证明自动验证指针程序的时间属性(2020)
  4. Berardi,Stefano;Tatsuta,Makoto:Martin-Löf归纳定义的经典系统不等同于循环证明(2019)
  5. Nollet,Rémi;Saurin,Alexis;Tasson,Christine:具有最小和最大不动点的线性逻辑循环证明的线程准则的空间完备性(2019)
  6. Ta,Quang Trung;Le,Ton Chanh;Khoo,Siau Cheng;Chin,Wei Ngan:分离逻辑中的自动互感应证明(2019)
  7. Berardi,Stefano;Tatsuta,Makoto:Martin-Löf归纳定义的经典系统不等同于循环证明系统(2017)
  8. Blanchette,Jasmin Christian;Popescu,Andrei;Traytel,Dmitriy:通过共同归纳方法进行的可靠性和完整性证明(2017)
  9. Chawdhary,Aziem;Singh,Ranjeet;King,Andy:Java恶意软件检测的字符串混淆的部分评估(2017)
  10. Enea,Constantin;Lengál,Ondřej;Sighireanu,Mihaela;Vojnar,Tomš:分离逻辑片段的组合蕴涵检查(2017)
  11. Jansen,Christina;Katelaan,Jens;Matheja,Christoph;Noll,Thomas;Zuleger,Florian:符号堆分离逻辑鲁棒性的统一推理(2017)
  12. 辛普森,亚历克斯:循环算术等同于皮亚诺算术(2017)
  13. Brotherston,James;Gorogiannis,Nikos;Kanovich,Max;Rowe,Reuben:带归纳谓词的符号堆分离逻辑的模型检查(2016)
  14. Pattinson,Dirk;Schröder,Lutz:Program equivalence is coinductive(2016年)
  15. Brotherston,James;Gorogiannis,Nikos:通过碱基对近似否定分离逻辑中的归纳蕴涵(2015)
  16. Eberhard,Sebastian;Hetzl,Stefan:基于树文法的归纳定理证明(2015)
  17. Pattinson,Dirk;Schröder,Lutz:comodels上健全和完整的等式推理(2015)
  18. Iosif,Radu;Rogalewicz,Adam;Vojnar,Tomš:用树自动机决定归纳分离逻辑中的蕴涵(2014)
  19. Shamkanov,D.S.:Gödel-Löb可证逻辑的循环证明(2014)
  20. Brotherston,James;Gorogiannis,Nikos;Petersen,Rasmus L.:一般循环定理证明者(2012)ioport公司