首页> 外文会议>IEE Colloquium on Computer-Based Learning in Engineering, 1994 >Proving self-stabilization with a proof assistant

【24h】

Proving self-stabilization with a proof assistant

机译：与证明助手一起证明自我稳定

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

First Page of the Article

机译：文章首页

著录项

来源
《IEE Colloquium on Computer-Based Learning in Engineering, 1994》|1994年|p.209-216|共8页
会议地点
作者
Courtieu P.;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs [J] . Tuan Minh Pham, Yves Bertot Electronic Notes in Theoretical Computer Science . 2012,第3期

机译：动态几何软件与用于交互式形式证明的证明助手的组合
2. A multi-prover interactive proof for NEXP sound against entangled provers [J] . Tsuyoshi Ito, Thomas Vidick Electronic Colloquium on Computational Complexity . 2012,第118期

机译：NEXP声音针对纠缠证明者的多证明人交互式证明
3. Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores [J] . Riesco Adrian, Ogata Kazuhiro ACM transactions on software engineering and methodology . 2018,第2期

机译：证明给我看！从CafeOBJ证明分数推断正式证明脚本
4. Proving self-stabilization with a proof assistant [C] . Pierre Courtieu International Parallel and Distributed Processing Symposium . 2002

机译：用校验助手证明自我稳定
5. Reducing the Costs of Proof Assistant Based Formal Verification or: Conviction without the Burden of Proof. [D] . Tatlock, Zachary Lee. 2014

机译：降低基于证明助手的形式验证的成本或：无需证明负担的定罪。
6. Proof-of-concept projects proving productive [O] . Roger Collier 2009

机译：概念验证项目证明有效
7. Proving Self-Stabilization With A Proof Assistant [O] . Pierre Courtieu 2001

机译：用证明助手证明自我稳定
8. A Program Certification Assistant Based on Fully Automated Theorem Provers [R] . Denney, Ewen, Fischer, Bernd 2005

机译：基于全自动定理证书的程序认证助手

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号