阿斯特里

阿斯特里分析仪。AST.E.E是一个基于抽象解释的静态程序分析器,旨在自动证明在C语言编写的程序中没有运行时错误。它已成功地应用于大型嵌入式控制命令安全关键实时软件自动生成的同步规范,产生复杂的软件的正确性证明,没有任何虚假警报在几个小时的计算。


ZBMaX中的参考文献(111篇)3篇标准文章

显示结果1至20的111。
按年份排序(引文
  1. 查德哈里,阿齐姆;罗宾斯,艾德;国王安迪:递增封闭八边形(2019)
  2. Crawford Kahrl,彼得;康明斯,布里;GeDEon,托马斯:两类ODE模型生成的全球网络动力学组合签名的比较(2019)
  3. 达拉斯,戴维;Van Horn,戴维:构造伽罗瓦连接(2019)
  4. Gronski,杰西卡;Ben Sassi,Mohamed Amin;贝克尔,史蒂芬;Sankaranarayanan,SRIRAM:模板多面体和双线性优化(2019)
  5. Apina,KalMe;Ve,瓦尔莫;Vojdani,Vasal:基于需求驱动的基于地图的抽象域的跨过程分析(2018)
  6. 拜尔,Dirk;Gulwani,SUMIT;施密特,David A.:模型检验与数据流分析相结合(2018)
  7. Boutonnet,Rey My;HalbWaCs,尼古拉斯:超越抽象序列改进抽象解释程序分析的结果(2018)
  8. 阿卜杜拉耶·迪亚洛,Nafi;Ghardallou,WiDe;DeHARNAIS,朱勒;迈利,Ali:收敛:整合终止和中止自由(2018)
  9. Guthmuller,玛丽恩;CARONA,加布里埃尔;坎松,马丁:传统分布式应用程序形式化动态验证的系统级状态等式检测(2018)
  10. Heo,Kihong;哦,Hajo;杨,Hongseok:静态分析产生的标记数据对八边形和上下文敏感性的学习分析策略(2018)
  11. Journault,马蒂厄;闵,安托万:通过抽象解释推断矩阵操纵程序的功能性质(2018)
  12. Spoto,Fausto:通过抽象解释和符号表达式检查数组边界(2018)
  13. 泽尔吉,Aleksandar;Backeman,彼得;Westistiger-Christoph M.;R·MuMe,Philipp:用UPPSAT(2018)探索浮点算术的近似
  14. Blazy,Sandrine;BüH勒,戴维;Yakobowski,鲍里斯:通过状态和价值抽象构建抽象口译(2017)
  15. MIE,安托万:动态优先级嵌入式实时并发软件的静态分析(2017)
  16. 莫纳特,RAPHA,Min,安托万:使用关系干扰抽象的并发程序的精确线程模块抽象解释(2017)
  17. 泽尔吉,Aleksandar;温特斯泰格,Christoph M.;R·米尔,Philipp:求解器和决策过程的近似框架(2017)
  18. Blazy,Sandrine;拉波特,Vincent;PICHADE,戴维:验证C静态分析器的抽象记忆函子(2016)
  19. CHA,Sooyoung;Jeong,Sehun;哦,HojJo:学习从一个大的代码库中选择加宽阈值的策略(2016)
  20. Ferrara,彼得洛:面向对象程序设计语言堆和值分析的通用框架(2016)