The Ideal of Verified Software

机译：经过验证的软件的理想选择

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

The ideal of verified software has long been the goal of research in Computer Science. This paper argues that the time is ripe to embark on a Grand Challenge project to construct a program verifier, based on a sound and complete theory of programming, and evaluated by experimental application to a large and representative sample of useful computer software.

机译：长期以来，经过验证的软件是计算机科学领域研究的目标。本文认为，基于健全而完整的编程理论，并开始对大型且有代表性的有用计算机软件样本进行实验评估，着手进行一个大挑战项目以构建程序验证程序的时机已经成熟。

著录项

来源
《International Conference on Computer Aided Verification(CAV 2006); 20060817-20; Seattle,WA(US) 》|2006年|P.5-16|共12页
会议地点 SeattleWA(US)
作者
Tony Hoare;
展开▼
作者单位

Microsoft Research;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类机器辅助技术 ;
关键词

相似文献

外文文献
中文文献
专利

1. Virtualized In Situ Software Update Verification: Verification of Over-the-Air Automotive Software Updates [J] . IEEE Vehicular Technology Magazine . 2020 ,第1期

机译：虚拟化的原位软件更新验证：空中汽车软件更新的验证
2. Achieving Ideal Shot Profiles by Comparing Software Simulated Ideal Shot Profiles with Real-Time Monitored Shot Profiles [J] . Paolo Catterina Die Casting Engineer . 2016 ,第1期

机译：通过将软件模拟的理想镜头配置文件与实时监控的镜头配置文件进行比较，实现理想的镜头配置文件
3. From software verification to 'everyware' verification [J] . Marta Kwiatkowska Computer science . 2013 ,第4期

机译：从软件验证到“所有软件”验证
4. The ideal of verified software [C] . Tony Hoare International workshop on the ACL2 theorem prover and its applications . 2006

机译：经过验证的软件的理想选择
5. Application of software verification techniques to hardware design verification. [D] . Megargee, Michael Richard. 1987

机译：软件验证技术在硬件设计验证中的应用。
6. Ideal free distribution of Daphnia under predation risk—model predictions and experimental verification [O] . Piotr Maszczyk, Ewa Babkiewicz, Marta Czarnocka-Cieciura, -1

机译：捕食风险下水蚤的理想自由分布-模型预测和实验验证
7. Guidelines for the verification and validation of expert system software and conventional software: Survey and assessment of conventional software verification and validation methods. Volume 2 [O] . Mirsky, S.M., Groundwater, E.H., Hayes, J.E., 1995

机译：专家系统软件和传统软件的验证和确认指南：传统软件验证和验证方法的调查和评估。第2卷
8. Guidelines for the verification and validation of expert system software and conventional software: Survey and assessment of conventional software verification and validation methods. Volume 2 [R] . 1995

机译：专家系统软件和传统软件的验证和确认指南：传统软件验证和验证方法的调查和评估。第2卷

The Ideal of Verified Software

摘要

著录项

相似文献

相关主题

期刊订阅