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


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

显示结果1到20,共37个。
按年份排序(引用)
  1. Finkel,Alain;Praveen,M.:扁平FIFO系统的验证(2020年)
  2. Holík,Lukáš;Iosif,Radu;Rogalewicz,Adam;Vojnar,Tomš:无限状态系统跟踪包含的抽象精化和反链(2020)
  3. Boutonet,Rémy;Halbwachs,Nicolas:通过超越递减序列的抽象解释改进程序分析的结果(2018)
  4. Majumdar,Rupak;Raskin,Jean François:非布尔域中的符号模型检查(2018)
  5. Konnov,Igor;Lazić,Marijana;Veith,Helmut;Widder,Josef:(\textPara^2):阈值保护分布式算法中可及性的参数化路径缩减、加速和SMT(2017)
  6. Konnov,Igor;Veith,Helmut;Widder,Josef:基于阈值的分布式算法的有界模型检查的完备性:可达性(2017)
  7. Lengál,Ondřej;Lin,Anthony W.;Majumdar,Rupak;Rümmer,Philipp:参数化概率并发系统的公平终止(2017)
  8. Pierre Chambart;Finkel,Alain;Schmitz,Sylvain:跟踪边界WST的正向分析和模型检查(2016)
  9. Leroux,Jérôme;rümmer,Philipp;Subotić,Pavle:Guidating Craig interpolation with domain specific Abstrations(2016年)
  10. Bouchy,Florent;Finkel,Alain;San Pietro,Pierluigi:重新审视密集选择柜台机(2014年)
  11. Bouissou,Olivier;Seladji,Yassamin;Chapoutot,Alexandre:数值程序分析中抽象不动点计算的加速(2012)
  12. Schrammel,Peter;Jeannet,Bertrand:将抽象加速应用于反应式程序的(co-)可达性分析(2012)
  13. Bouajjani,Ahmed;Bozga,Marius;Habermell,Peter;Iosif,Radu;Moro,Pierre;Vojnar,Tomš:带有列表的程序是反自动机(2011)
  14. Pierre Chambart;Finkel,Alain;Schmitz,Sylvain:跟踪边界WST的正向分析和模型检查(2011)
  15. Colón,Michael A.;Sankaranarayanan,Sriram:模板多面体域的泛化(2011)
  16. Bouissou,Olivier;Seladji,Yassamin;Chapoutot,Alexandre:用数值加速方法进行的抽象不动点计算(2010)
  17. Bozga,Marius;Iosif,Radu;Perarnau,Swann:定量分离逻辑和列表程序(2010)
  18. Klaedtke,Felix:EhrenfeuchtFraïsségoes automatic for real addition(2010年)
  19. Daniel Kroneing;Weissenbacher,Georg:使用谓词抽象的循环验证和篡改程序(2010)
  20. Schrammel,Peter;Jeannet,Bertrand:将抽象加速方法扩展到具有数值输入的数据流程序(2010)