布吉

Boogie：中间验证语言。BooGee是一种中间的验证语言，它是用来为其他语言构建程序验证器的一层。以这种方式构建了多个程序验证器，包括C的VCC和Havoc验证程序，以及Dafny、Calice和Script等的验证器。以前版本的语言称为BooiEpl。目前的语言（版本2）目前被称为BooGee，它也是以BooGi程序作为输入的验证工具的名称。BoGee也是一个工具的名称。该工具接受BooGee语言作为输入，可选地推断给定BoGee程序中的某些不变量，然后生成传递给SMT求解器的验证条件。默认SMT求解器是Z3。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaCT中的参考文献（114篇文章中引用）

显示结果1至20的114。
按年份排序（引文）
  1. APT，Krzysztof R.；奥德罗格，厄恩斯特罗伊迪格尔：霍尔逻辑五十年（2019）
  2. Bouillaguet，昆廷；BoBOT，弗兰Sou-OIS；SigieRayu，MiHela；Yakobowski，鲍里斯：利用演绎分析记忆模型中的指针分析（2019）
  3. Milicevic，Aleksandar；近处，Joseph P.；Kang，EunSuk；杰克逊，丹尼尔：合金*：一个通用的高阶关系约束求解器（2019）
  4. 王，闻喜；S·Nordar，哈拉尔德；Stuckey，Peter J.：WouBIT：使用字级传播的组合比特向量求解器（2019）
  5. Zakowski，扬妮克；卡切拉，戴维；Demange，德尔菲娜；Petri，古斯塔沃；Pichardie，Pichardie；Jagannathan，SuReh；Viek，Jun:用依赖保证方法验证并发垃圾收集器（2019）
  6. 鲍，Yuyan；莱文，Gary T.；厄恩斯特，吉顿：统一分离逻辑和允许互操作的区域逻辑（2018）
  7. Dailler，西尔文；豪扎尔，戴维；Maulee，克劳德；Moy，YANNICK：为反例生成最弱的前提条件微积分（2018）
  8. GooFoulID，帕特利斯；Sen，KouSek：结合模型检验和测试（2018）
  9. He，Shaobo；拉希里，Shuvendu K.；拉卡马里·Zvnimi:验证程序近似的相对安全性、准确性和终止性（2018）
  10. 基弗，莫里兹；克列巴诺夫，弗拉迪米尔；UBRICH，MatTasas：使用编译程序IR的关系程序推理（2018）
  11. 克列巴诺夫，弗拉迪米尔；R·MuMe，Philipp；UBRICH，MaTiaS:通过谓词抽象自动实现指针程序的回归验证（2018）
  12. Kotelnikov，Evgenii；Koa'cs，劳拉；Voronkov，安德列：命令程序下一个状态关系的愚蠢编码（2018）
  13. 穆尔，布兰登；Pe·尼娜，卢卡斯；Rosu，格里高尔：共诱导程序验证（2018）
  14. Müü勒，彼得（ED）；舍费尔，INA（ED.）：原则性软件开发。在他第六十岁生日的时候，献给阿瑟德。基于论文集的论文，德国凯撒斯劳滕，2018年11月（2018）
  15. 萨默斯，Alexander J.；Mü勒，彼得：弱记忆程序的自动演绎验证（2018）
  16. Chakraborty，ExpTalk；Gupta，阿什图什；耆那教，拉胡尔：位向量公式中的匹配乘法（2017）
  17. Ozeri，或；帕顿，ODD；RuneTZKY，诺姆；SaGIV，MOLYY：使用参数化的联合抽象解释（2017）
  18. Wood，提姆；Drossopolou，索菲亚；拉希里，Shuvendu K.；艾森巴赫，苏珊：内存分配存在下程序等价性的模块化验证（2017）
  19. Belo Louren·索奥，Clasuudio；Jo Sang-O Frad，玛丽亚；Sousa Pinto，豪尔赫：形式化单指派程序验证：一种适应完全方法（2016）
  20. Blanchette，Jasmin Christian；B·HME，Sascha；波佩斯库，安德列；Smallbone，尼古拉斯：编码单形和多态类型（2016）