快速:符号转换系统的快速加速。fast是一个分析无限系统的工具。本文描述了工具设计的基本理论、体系结构的选择。用户必须提供一个模型来分析,属性检查和计算策略。在软件包中,有几个这样的策略被建议作为标准,其他策略可以由用户添加。快速功能与其他工具相比。对文献中的一系列案例研究进行了调查


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

显示第1到第20个结果,共35个。
按年份排序(引用)
  1. Finkel,Alain;Praveen,M.:扁平FIFO系统的验证(2020年)
  2. Boutonet,Rémy;Halbwachs,Nicolas:通过超越递减序列的抽象解释改进程序分析的结果(2018)
  3. Majumdar,Rupak;Raskin,Jean François:非布尔域中的符号模型检查(2018)
  4. Konnov,Igor;Lazić,Marijana;Veith,Helmut;Widder,Josef:(\textPara^2):阈值保护分布式算法中可及性的参数化路径缩减、加速和SMT(2017)
  5. Konnov,Igor;Veith,Helmut;Widder,Josef:基于阈值的分布式算法的有界模型检查的完备性:可达性(2017)
  6. Pierre Chambart;Finkel,Alain;Schmitz,Sylvain:跟踪边界WST的正向分析和模型检查(2016)
  7. Leroux,Jérôme;rümmer,Philipp;Subotić,Pavle:Guidating Craig interpolation with domain specific Abstrations(2016年)
  8. Bouchy,Florent;Finkel,Alain;San Pietro,Pierluigi:重新审视密集选择柜台机(2014年)
  9. Bouissou,Olivier;Seladji,Yassamin;Chapoutot,Alexandre:数值程序分析中抽象不动点计算的加速(2012)
  10. Schrammel,Peter;Jeannet,Bertrand:将抽象加速应用于反应式程序的(co-)可达性分析(2012)
  11. 皮尔·博阿杰德·博阿杰尔(Pierre Bouajna)和《摩洛·博伊尔·拉杰尔(Peter Boujna)的程序》(Pierre Bouajna,If Automathed;2011年版;与《摩洛·博伊尔·拉贾尔》(Peter Boujna)合著的《反程序》(counter Programs);与《摩洛·博伊尔
  12. Pierre Chambart;Finkel,Alain;Schmitz,Sylvain:跟踪边界WST的正向分析和模型检查(2011)
  13. Colón,Michael A.;Sankaranarayanan,Sriram:模板多面体域的泛化(2011)
  14. Bouissou,Olivier;Seladji,Yassamin;Chapoutot,Alexandre:用数值加速方法进行的抽象不动点计算(2010)
  15. Bozga,Marius;Iosif,Radu;Perarnau,Swann:定量分离逻辑和列表程序(2010)
  16. Klaedtke,Felix:EhrenfeuchtFraïsségoes automatic for real addition(2010年)
  17. Daniel Kroneing;Weissenbacher,Georg:使用谓词抽象的循环验证和篡改程序(2010)
  18. Schrammel,Peter;Jeannet,Bertrand:将抽象加速方法扩展到具有数值输入的数据流程序(2010)
  19. Yohan Boichut;Héam,Pierre Cyrille;Kouchnarenko,Olga:如何处理整数加权自动机正性(2009)
  20. Bouchy,Florent;Finkel,Alain;Sangnier,Arnaud:定时计数器系统中的可达性(2009)