围裙

停机坪:静态分析的数值抽象域库。本文描述了一个免费提供的库,通过抽象解释对程序的数值变量进行静态分析。它的目标有三个:在一个统一的API下为分析实现者提供现成的数值抽象,通过提供一个集成和比较的平台来鼓励对数值抽象领域的研究,并提供教学和演示工具来传播关于抽象解释的知识。


zbMATH参考文献(参考 67篇文章 参考)

显示第1到第20个结果,共67个。
按年份排序(引用)
  1. 安娜·贝奇(Becchi);扎法内拉(Zaffanella),Enea:PPLite:NNC多面体零开销编码(2020)
  2. Aziem Chawdhary;Robbins,Ed;King,Andy:渐进式关闭八角形(2019)
  3. Dimovski,Aleksandar S.;Brabrand,Claus;Wąsowski,Andrzej:为提升分析寻找合适的可变性抽象(2019)
  4. Howe,Jacob M.;King,Andy;Simon,Axel:每个不等式两变量系统的增量闭包(2019)
  5. 马尔可夫链的定量分析(Abdonotine,2019年)
  6. Zolotykh,Nikolai Yu.;Bastrakov,Sergei I.:双描述方法下的两个图形测试变体(2019)
  7. Boutonet,Rémy;Halbwachs,Nicolas:通过超越递减序列的抽象解释改进程序分析的结果(2018)
  8. Heo,Kihong;Oh,Hakjoo;Yang,Hongseok:从静态分析生成的标记数据中学习八角形和上下文敏感性的分析策略(2018)
  9. Blazy,Sandrine;Bühler,David;Yakobowski,Boris:通过状态和价值抽象构建抽象解释器(2017)
  10. Botbol,Vincent;Chailloux,Emmanuel;Le Gall,Tristan:使用符号传感器对通信过程进行静态分析(2017)
  11. Dan,Andrei;Meshman,Yuri;Vechev,Martin;Yahav,Eran:松弛记忆模型下验证的有效抽象(2017)
  12. 蒋佳红;陈丽倩;吴学光;王吉:抽象域与SMT相结合的块式抽象解释(2017)
  13. Liu,Jiangchao;Rival,Xavier:基于非连续分区的数组内容静态分析(2017)
  14. Magron,Victor;Constantinides,George;Donaldson,Alastair:使用半定规划的认证舍入误差界(2017)
  15. Maréchal,Alexandre;Monniaux,David;Périn,Michaël:通过参数线性规划实现多面体上的可伸缩最小化算子(2017)
  16. Maréchal,Alexandre;Périn,Michaël:光线追踪有效消除多面体中的冗余(2017)
  17. Monat,Raphaël;Miné,Antoine:使用关系干扰抽象对并发程序的精确线程模块化抽象解释(2017)
  18. Singh,Gagandeep;Püschel,Markus;Vechev,Martin:快速多面体抽象域(2017)
  19. Urban,Caterina;Miné,Antoine:通过抽象解释证明时间属性的排序函数推论(2017)
  20. Frohn,F.;Naaf,M.;Hensel,J.;Brockschmidt,M.;Giesl,J.:整数程序的运行时下限(2016年)