首页> 外文OA文献 >HOL-Boogie -- An Interactive Prover for the Boogie Program-Verifier

【2h】

HOL-Boogie -- An Interactive Prover for the Boogie Program-Verifier

机译：HOL-Boogie - Boogie程序验证器的交互式证明器

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Sascha Böhme; K. Rustan M. Leino; Burkhart Wolff;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. HOL-Boogie -An Interactive Prover-Backend for the Verifying C Compiler [J] . Sascha Boehme, Michal Moskal, Wolfram Schulte, Journal of Automated Reasoning . 2010,第1a2期

机译：HOL-Boogie-验证C编译器的交互式证明后端
2. Program Proving Using Intermediate Verification Languages (IVLs) like Boogie and Why3 [J] . K. Rustan, M. Leino Ada Letters . 2012,第3期

机译：使用Boogie和Why3等中间验证语言（IVL）进行程序验证
3. A multi-prover interactive proof for NEXP sound against entangled provers [J] . Tsuyoshi Ito, Thomas Vidick Electronic Colloquium on Computational Complexity . 2012,第118期

机译：NEXP声音针对纠缠证明者的多证明人交互式证明
4. HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier [C] . Sascha Boehme, K. Rustan M. Leino, Burkhart Wolff Theorem Proving in Higher Order Logics . 2008

机译：HOL-Boogie-Boogie程序验证程序的交互式证明
5. On the applications of Interactive Theorem Proving in computational sciences and engineering. [D] . Tahat, Amer. 2016

机译：关于交互式定理证明在计算科学和工程中的应用。
6. Dancing During Labor: Are Women Down to Boogie? [O] . Drew A. Horter, Kayla Heslin, Marie Forgie, 2020

机译：劳动期间跳舞：女性是否倒在布吉？
7. A Study on Audio-Visual Interactive Art interacting with Sound -Focused on 21C Boogie Woogie [O] . Jin-Seok Son, Jee-Hyun Yang, Kyu-Jung Kim 2014

机译：与21C Boogie Woogie的声音视觉交互式艺术互动的研究

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号