首页> 外文OA文献 >93 Experiences with Software Specification and Verification Using LP, the Larch Proof Assistant

【2h】

93 Experiences with Software Specification and Verification Using LP, the Larch Proof Assistant

机译：使用Larch Lof Proof Assistant进行软件规范和验证的93年经验

页面导航

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

著录项

作者
Manfred Broy;
展开▼
作者单位

展开▼
年度 1992
总页数
原文格式 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. Modular Development Of Certified Program Verifiers With A Proof Assistant [J] . ADAM CHLIPALA Journal of Functional Programming . 2008,第5a6期

机译：具有证明助手的模块化程序验证者的模块化开发
3. Modular development of certified program verifiers with a proof assistant [J] . Adam Chlipala ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2006,第9期

机译：带证明助手的模块化程序验证者的模块化开发
4. Introduction to the Coq Proof-Assistant for Practical Software Verification [C] . Christine Paulin-Mohring LASER International School on Software Engineering . 2012

机译：COQ校样助手简介实用软件验证
5. Reducing the Costs of Proof Assistant Based Formal Verification or: Conviction without the Burden of Proof. [D] . Tatlock, Zachary Lee. 2014

机译：降低基于证明助手的形式验证的成本或：无需证明负担的定罪。
6. Intraoperative implantation of a mesh of directional palladium sources (CivaSheet™): Dosimetry verification clinical commissioning dose specification and preliminary experience [O] . Gil’ad N. Cohen, Karen Episcopia, Seng-Boh Lim, -1

机译：术中植入定向钯源网格（CivaSheet™）：剂量学验证临床调试剂量规范和初步经验
7. Introduction to the Coq Proof-Assistant for Practical Software Verification [O] . Christine Paulin-mohring 2013

机译：实用软件验证的Coq proof-assistant简介
8. Software Technology for Adaptable, Reliable Systems (STARS) Program: Cleanroom Software Process Case Study. Addendum. The Cleanroom Engineering Process Assistant (CEPA) Specifications for a Prototype of the Workstation and Dispatcher. [R] . Ett, W. 1991

机译：适应性，可靠系统的软件技术（sTaRs）计划：洁净室软件过程案例研究。附录。工作站和调度员原型的洁净室工程过程助手（CEpa）规范。

93 Experiences with Software Specification and Verification Using LP, the Larch Proof Assistant

著录项

引文网络

相似文献

相关主题

期刊订阅