阿斯特里

分析仪器。ASTRçE是一个基于抽象解释的静态程序分析器,旨在自动证明用C编程语言编写的程序中没有运行时错误。该方法已成功地应用于由同步规范自动生成的大型嵌入式控制命令安全关键实时软件,为复杂软件的正确性提供了一个证明,在几个小时的计算时间内不会出现任何误报。


zbMATH中的参考文献,3标准条款)

显示111的结果1到20。
按年份排序(引用)
  1. Aziem Chawdhary;Robbins,Ed;King,Andy:渐进式关闭八角形(2019)
  2. Crawford Kahrl,Peter;Cummins,Bree;Gedeon,Tomas:两类ODE模型生成的全球网络动态组合特征比较(2019)
  3. Darais,David;Van Horn,David:Galois Constructive connections(2019年)
  4. Gronski,Jessica;Ben Sassi,Mohamed Amin;Becker,Stephen;Sankaranarayanan,Sriram:模板多面体和双线性优化(2019)
  5. Apinis,Kalmer;Vene,Varmo;Vojdani,Vesal:基于地图的抽象域的需求驱动过程间分析(2018)
  6. Beyer,Dirk;Gulwani,Sumit;Schmidt,David A.:结合模型检查和数据流分析(2018)
  7. 《通过减少Bouachs项目的分析结果》(Bouachs,2018年)的《改进Bouachs项目的结果》(About the Bouachs,the About the Bouachs,2018年)
  8. Diallo,Nafi;Ghardallou,Wided;Desharnais,Jules;Mili,Ali:融合:整合终止和中止自由(2018)
  9. Guthmuller,Marion;Corona,Gabriel;Quinson,Martin:遗留分布式应用程序正式动态验证的系统级状态平等检测(2018)
  10. Heo,Kihong;Oh,Hakjoo;Yang,Hongseok:从静态分析生成的标记数据中学习八角形和上下文敏感性的分析策略(2018)
  11. Journault,Matthieu;Miné,Antoine:通过抽象解释推断矩阵操纵程序的功能特性(2018)
  12. Payet,Étienne;Spoto,Fausto:通过抽象解释和符号表达式检查数组边界(2018)
  13. 《探索温特泽尔曼杰算法》(Winterzelmümmer,2018年版);使用克里斯托夫兰德格(Peter Ksuppümmer)算法;近似于彼得·施泰因帕尔(Peter Ksupprümmer);使用浮点数(floating point,Asteuppr;2018年)
  14. Blazy,Sandrine;Bühler,David;Yakobowski,Boris:通过状态和价值抽象构建抽象解释器(2017)
  15. Miné,Antoine:具有动态优先级的嵌入式实时并发软件的静态分析(2017)
  16. 2017年,Antoine-thread《并行关系程序的抽象解释:使用Mona-Tél的精确的模块化干扰解释》;Antoëlé
  17. Zeljić,Aleksandar;Wintersteiger,Christoph M.;Rümmer,Philipp:解算器和决策程序的近似框架(2017)
  18. Blazy,Sandrine;Laporte,Vincent;Pichardie,David:验证C静态分析器的抽象记忆函数(2016)
  19. Cha,Sooyong;Jeong,Sehun;Oh,Hakjoo:学习从大型代码库中选择扩大阈值的策略(2016)
  20. 面向堆语言和面向对象的程序设计框架(Piera-2016)