贝博普

Bebop:布尔程序的符号模型检查器。本文介绍了一种布尔程序符号模型检验器Bebop的设计、实现和实验评价。Bebop显式地表示控制流,并使用bdd隐式表示状态集。通过利用过程抽象中固有的模块性和利用变量作用域的局部性,Bebop能够在几分钟内用几千行代码、数百个过程和几千个变量对boolean程序进行建模检查。


zbMATH参考文献(74篇文章引用)

显示第1到第20个结果,共74个。
按年份排序(引用)
  1. Alur,Rajeev;Bouajjani,Ahmed;Esparza,Javier:模型检查程序程序(2018)
  2. Biere,Armin;Kröning,Daniel:基于SAT的模型检查(2018)
  3. 劳拉·博泽利;塞萨尔·桑切斯:明显线性时间逻辑(2018)
  4. Jhala,Ranjit;Podelski,Andreas;Rybalchenko,Andrey:用于程序验证的谓词抽象(2018)
  5. McMillan,Kenneth L.:插值和模型检验(2018)
  6. 宋,付:用堆栈操作分析下推系统(2018)
  7. Abal,Iago;Brabrand,Claus;Wąsowski,Andrzej:具有形状和效果抽象的C程序中的有效错误查找(2017)
  8. Chatterjee,Krishnendu;Kragl,Bernhard;Mishra,Samarth;Pavlogiannis,Andreas:加权递归状态机的更快算法(2017)
  9. Komuravelli,Anvesh;Gurfinkel,Arie;Chaki,Sagar:基于SMT的递归程序模型检查(2016)
  10. Prabhakar,Pavithra;Duggirala,Parasara Sridhar;Mitra,Sayan;Viswanathan,Mahesh:基于混合自动机的矩形混合系统CEGAR(2015)
  11. 博泽利,劳拉;桑切斯,塞萨尔:明显理性的表达(2014)
  12. Prabhakar,Pavithra;Duggirala,Parasara Sridhar;Mitra,Sayan;Viswanathan,Mahesh:基于混合自动机的矩形混合系统CEGAR(2013)
  13. 基于braghana的安全策略验证;基于sharragina的安全策略;基于sharragina的安全验证模型;2011年
  14. Braman,Julia M.B.;Murray,Richard M.:基于目标的控制系统的互模拟转换和验证程序(2011)
  15. Hague,Matthew:带有非原子写入的参数化下推系统(2011)
  16. Hague,M.;Ong,C.-H.L.:下推系统上模态(\mu)演算的饱和方法(2011)
  17. Schlich,Bastian;Brauer,Jörg;Kowalewski,Stefan:静态分析在微控制器二进制代码中的应用(2011)
  18. Basler,Gérard;Mazzucchi,Michele;Wahl,Thomas;Kroneing,Daniel:上下文感知反抽象(2010)
  19. Collavizza,Hélène;Rueher,Michel;Van Hentenryck,Pascal:CPBPV:有界程序验证的约束编程框架(2010)
  20. Godefrod,Patrice;Nori,Aditya V.;Rajamani,Sriram K.;Tetali,Sai-Deep:组合可能必须的程序分析:释放交替的力量(2010)