骑自行车的人

骑自行车是一个框架,建立循环定理证明基于连续演算。此外,多年来,几个决策程序或算法已经被集成,专注于分离逻辑与电感定义的谓词。有关建造骑车人的信息,包括可用的工具和支持这些工具的文件,请访问CycliST-PROVR.ORG


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

显示结果1至19的19。
按年份排序(引文

  1. DAS,Anupam:循环算术的逻辑复杂性(2020)
  2. Echenim,M.;Peltier,N:结合归纳和基于饱和的定理证明(2020)
  3. Telez,Gadi;BrutsTon,杰姆斯:用循环证明自动验证指针程序的时间属性(2020)
  4. 贝拉尔迪,斯蒂法诺;立田,Makto:马丁尼L的归纳定义的经典系统不等同于循环证明(2019)。
  5. TA,Quang Trung;Le,Ton Chhanh;Koo,Siau Cheng;Chin,Wei Ngan:分离逻辑中的自动互感证明(2019)
  6. 贝拉尔迪,斯蒂法诺;立田,Makto:马丁- L F的归纳定义的经典系统不等同于循环证明系统(2017)
  7. Blanchette,Jasmin Christian;波佩斯库,安德列;Trayelt,Dmitriy:共归纳法的完备性和完备性证明(2017)
  8. 查德哈里,AZIEM;Singh,Rangjet;安迪,安迪:对Java恶意软件检测的字符串模糊的部分评估(2017)
  9. Enea、康斯坦丁、楞、恩格斯、谢菲瑞努、米哈拉、沃伊纳尔、汤姆斯:分离逻辑片段的成分蕴涵检查(2017)
  10. 扬森,克莉丝汀;卡特兰,Jens;Matheja,克里斯托夫;诺尔,托马斯;ZuleGER,弗洛里安:符号堆分离逻辑稳健性的统一推理(2017)
  11. 辛普森,亚历克斯:循环算术等价于Peao算术(2017)
  12. 杰姆斯、Gorogiannis、尼科斯、Kanovich、马克斯、罗威、Reuben:用归纳谓词进行符号堆分离逻辑的模型检验(2016)
  13. 帕丁森,Dirk;Schr O'DER,Lutz:程序等价是共归纳(2016)
  14. 布罗瑟斯顿,杰姆斯;Gorogiannis,尼科斯:通过碱基对近似证明分离逻辑中的归纳蕴涵(2015)
  15. EbHARD,塞巴斯蒂安;HeZZL,斯特凡:基于树文法的归纳定理证明(2015)
  16. 帕丁森,Dirk;Schr·奥德,Lutz:CooDels上的声音和完全等式推理(2015)
  17. Iosif,RADU;Rogalewicz,亚当;Vojnar,TaMaa:用树自动机确定归纳分离逻辑中的蕴涵(2014)
  18. Shamkanov,D. S.:Goel-Del-L OB可证明逻辑的循环证明(2014)
  19. 布罗瑟斯顿,杰姆斯;Gorogiannis,尼科斯;彼得森,拉斯姆斯L:一个通用循环定理证明器(2012)伊波尔特