围裙

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


zbMATH中的参考文献(参考文献70篇文章)

显示第1到第20个结果,共70个。
按年份排序(引用)
  1. 阿巴西,罗莎;希夫尔,乔纳斯;达鲁洛娃,伊娃;乌尔布里希,马提亚斯;Ahrendt,Wolfgang:KeY中浮点Java程序的演绎验证(2021)
  2. 迈耶,费边;听,马塞尔;Giesl,Jürgen:使用预期大小推断概率整数程序的预期运行时间(2021年)
  3. 索图德,马修;Thakur,Aditya V.:SyReNN:分析深层神经网络的工具(2021年)
  4. 贝基,安娜;Zaffanella,Enea:PPLite:NNC多面体零开销编码(2020)
  5. 查德哈里,阿齐姆;罗宾斯,埃德;金,安迪:逐步关闭八角形(2019)
  6. 迪莫夫斯基,亚历山达S。;布拉布兰德,克劳斯;Wąsowski,Andrzej:为提升分析寻找合适的可变性抽象(2019)
  7. 豪,雅各布·M。;国王,安迪;Simon,Axel:每个不等式两变量系统的增量闭包(2019)
  8. 阿卜杜勒拉乌夫;Miné,Antoine:使用抽象马尔可夫链对通信协议进行定量静态分析(2019)
  9. 左罗提克,余尼古拉。;Bastrakov,Sergei I.:双描述方法中的两个图形测试变体(2019)
  10. 布托内特,雷米;Halbwachs,Nicolas:通过超越递减序列的抽象解释改进程序分析的结果(2018)
  11. 嗨,基宏;哦,哈珠;Yang,Hongseok:从静态分析生成的标记数据中学习八角形和上下文敏感度的分析策略(2018)
  12. 布莱兹,桑德琳;比勒,大卫;Yakobowski,Boris:《通过状态和价值抽象构建抽象解释器》(2017)
  13. 波波,文森特;查罗,伊曼纽;Le Gall,Tristan:使用符号传感器对通信过程进行静态分析(2017)
  14. 丹,安德烈;米什曼,尤里;维切夫,马丁;Yahav,Eran:放松记忆模型下验证的有效抽象(2017)
  15. 蒋佳红;陈丽倩;吴学光;王吉:抽象域与SMT相结合的分块抽象解释(2017)
  16. 刘江超;Rival,Xavier:基于非连续分区的数组内容静态分析(2017)
  17. 马格伦,维克多;康斯坦丁尼德,乔治;Donaldson,Alastair:使用半定规划的认证舍入误差界(2017)
  18. 马尔查尔,亚历山德拉;蒙尼亚,大卫;Périn,Michaël:通过参数线性规划实现多面体上的可伸缩最小化算子(2017)
  19. 亚历山德拉;Périn,Michaël:光线追踪有效消除多面体中的冗余(2017)
  20. 莫纳特,拉斐尔;Miné,Antoine:使用关系干扰抽象对并发程序的精确线程模块化抽象解释(2017)