First steps in the Verified Software Grand Challenge

被引：47

作者：

Woodcock, Jim ^{[1
]}

机构：

[1] Univ York, Dept Comp Sci, York YO10 5DD, N Yorkshire, England

来源：

COMPUTER | 2006年 / 39卷 / 10期

基金：

英国工程与自然科学研究理事会;

关键词：

D O I：

10.1109/MC.2006.340

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Industry has become increasingly aware that something must be done about software reliability. The 2005 International Technology Roadmap for Semiconductors states, "Without major breakthroughs, verification will be a nonscalable, show-stopping barrier to further progress in the semiconductor industry." What's to be done about this state of affairs? Can we ever expect software to come with warranties of fitness for purpose? A growing number of academic and industrial researchers believe that the way to revolutionize the production of software is by using formal methods, and they also believe that doing so is now feasible.

引用

页码：57 / +

页数：9