注册会计师

显式状态分析和谓词分析相结合的Cpachecker。(竞争贡献)。cpacchecker是一个开源的软件验证框架,基于可配置程序分析(CPA)的概念。我们提交了一个cpacchecker配置,它使用两种方法的顺序组合。它从一个显式的状态分析开始,如果在一段时间内找不到答案,则切换到使用可调块编码和CEGAR的谓词分析。


zbMATH中的参考文献(参考 50篇文章 引用,2标准条款)

显示第1到第20个结果,共50个。
按年份排序(引用)
  1. Garzella,Jack J.;Baranowski,Marek;He,Shaobo;Rakamarić,Zvonimir:利用编译器中间表示进行多语言和跨语言验证(2020年)
  2. Hajdu,Ákos;Micskei,Zoltán:基于CEGAR的模型检查的有效策略(2020年)
  3. Meseguer,José:广义重写理论,连贯完成和符号方法(2020)
  4. 王蒙,田,丛,张,南,段,振华,姚晨光:将Xd-C程序翻译成MSVL程序(2020)
  5. 张楠;段振华;田聪;杜宏伟:验证程序上下文无关属性的新方法(2020)
  6. Hsu,Kyle;Majumdar,Rupak;Mallik,Kaushik;Schmuck,Anne Kathrin:基于惰性抽象的控制器合成(2019)
  7. Wang,Meng;Tian,Cong;Zhang,Nan;Duan,Zhenhua;Du,Hongwei:验证安全关键系统的调度协议(2019)
  8. Wang,Wenxi;Søndergaard,Harald;Stuckey,Peter J.:Wombit:使用词级传播的投资组合位向量解算器(2019年)
  9. Beyer,Dirk;Dangl,Matthias;Wendler,Philipp:基于SMT的软件验证的统一观点(2018)
  10. Beyer,Dirk;Gulwani,Sumit;Schmidt,David A.:结合模型检查和数据流分析(2018)
  11. Chaves,Lennon;Bessa,Iury;Cordeiro,Lucas;Kroneing,Daniel:DSValidator:数字系统的自动反例再现性工具(2018)
  12. Fellmuth,Joachim;Göthel,Thomas;Glesner,Sabine:人工多样化软件静态WCET分析中的指令缓存(2018)
  13. Hoenicke,Jochen;Schindler,Tanja:阵列理论的有效插值(2018)
  14. Jhala,Ranjit;Podelski,Andreas;Rybalchenko,Andrey:用于程序验证的谓词抽象(2018)
  15. 劳科,亨里希;罗凯,佩特;巴纳特,吉ří:通过程序转换的符号计算(2018)
  16. Greitschus,Marius;Dietsch,Daniel;Podelski,Andreas:反例循环不变量(2017)
  17. Thomas Ströder;Giesl,Jürgen;Brockschmidt,Marc;Frohn,Florian;Fuhs,Carsten;Hensel,Jera;Schneider Kamp,Peter;Ascherman,Cornelius:自动证明指针算法程序的终止和内存安全(2017)
  18. Karpenkov,Egor George;Monniaux,David;Wendler,Philipp:Program analysis with local policy iteration(2016年)
  19. Koskinen,Eric;Yang,Junfeng:将碰撞可恢复性降低到可及性(2016)
  20. Leroux,Jérôme;rümmer,Philipp;Subotić,Pavle:Guidating Craig interpolation with domain specific Abstrations(2016年)