Peer Review of a Formal Verification/Design Proof Methodology

机译：正式验证/设计证明方法的同行评审

获取原文

页面导航

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

摘要

The role of formal verification techniques in system validation was examined. The value and the state of the art of performance proving for fault-tolerant computers were assessed. The investigation, development, and evaluation of performance proving tools were reviewed. The technical issues related to proof methodologies are examined. The technical issues discussed are summarized.

著录项

作者
Lee, Y. H.; Shin, K. G.;
展开▼
作者单位

展开▼
年度 1983
页码 p.1-56
总页数 56
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Conferences; Software engineering; Design analysis; Proving; Computer systems programs; Technology assessment;

机译：会议;软件工程;设计分析;证明;计算机系统程序;技术评估;

相似文献

外文文献
中文文献
专利

1. A formal methodology for integral security design and verification of network protocols [J] . Jesus Diaz, David Arroyo, Francisco B. Rodriguez The Journal of Systems and Software . 2014,第MARa期

机译：用于网络协议的整体安全性设计和验证的正式方法
2. Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method [J] . Guillaume Babin, Yamine Aït-Ameur, Marc Pantel Services Computing, IEEE Transactions on . 2017,第1期

机译：运行时Web服务补偿：使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
3. Cryptanalysis and improvement of the YAK protocol with formal security proof and security verification via Scyther [J] . International journal of communication systems . 2020,第9期

机译：通过正式的安全证明和通过Scyther的安全验证对YAK协议进行密码分析和改进
4. Minimialist Proof Assistants: Interactions of Technology and Methodology in Formal System Level Verification [C] . K. L. McMillan International conference on formal methods in Computer-Aided design . 1998

机译：极简主义证明助理：正式系统级验证中技术与方法的相互作用
5. Reducing the Costs of Proof Assistant Based Formal Verification or: Conviction without the Burden of Proof. [D] . Tatlock, Zachary Lee. 2014

机译：降低基于证明助手的形式验证的成本或：无需证明负担的定罪。
6. A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks [O] . Alessandro Testa, Marcello Cinque, Antonio Coronato, 2017

机译：设计和部署可靠的无线传感器网络的正式方法论
7. A formal methodology for integral security design and verification of network protocols [O] . Diaz, Jesus, Arroyo, David, Rodriguez, Francisco B. 2012

机译：整体安全设计和验证的正式方法网络协议
8. Peer Review of a Formal Verification/Design Proof Methodology [R] . 1983

机译：正式验证/设计证明方法的同行评审

Peer Review of a Formal Verification/Design Proof Methodology

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅