.png){kind=icon}
返回
Formal Methods: Practice and Experience
.png){kind=icon}
PRE
AI
DOI：10.1145/1592434.1592436.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Formal methods use mathematical models for analysis and verification at any part of the program life-cycle. We describe the state of the art in the industrial use of formal methods, concentrating on their increasing use at the earlier stages of specification and design. We do this by reporting on a new survey of industrial use, comparing the situation in 2009 with the most significant surveys carried out over the last 20 years. We describe some of the highlights of our survey by presenting a series of industrial projects, and we draw some observations from these surveys and records of experience. Based on this, we discuss the issues surrounding the industrial adoption of formal methods. Finally, we look to the future and describe the development of a Verified Software Repository, part of the worldwide Verified Software Initiative. We introduce the initial projects being used to populate the repository, and describe the challenges they address.
Keyword:
Documentation
Experimentation
Management
Measurement
Reliability
Theory
Verification
Experimental software engineering
formal methods surveys
grand challenges
verified software initiative
verified software repository
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
28
论文数:
2.4K
被引数:
3.5W
机构
引用论文
Flexible copper-7,7,8,8 tetracyanochinodimethane memory devices — Operation, cross talk and bending
.png){kind=icon}
PREAI
分享收藏分享收藏Climate in the eastern Mediterranean, and adjacent regions, during the past 6000 years – A review
PREAI
分享收藏Involvement ofBCL6 in chromosomal aberrations affecting band 3q27 in B-cell non-Hodgkin lymphoma
PREAI
分享收藏
查看更多内容