Paper Info
Title
Verified software grand challenge
Abstract
Some practitioners in industry and researchers from universities believe it's now practical to use formal methods to produce software, even non-critical software, and that this will turn out to be the cheapest way to do it. Given the right computer-based tools, the use of formal methods could become widespread and transform the practice of software engineering. The computer science community recently committed itself to making this a reality within the next fifteen to twenty years. Collectively, we have a lot of experience in the successful use of formal methods in industry, and this is being strengthened by a new wave of tools shielding users from deep technical issues. The time is now right for a concerted push at software verification, and considerable activity is already under way in the Verified Software Grand Challenge and its pilot projects.
Year
DOI
Venue
2006
10.1007/11813040_45
FM
Keywords
Field
DocType
non-critical software,formal method,verified software grand challenge,computer science community,software verification,successful use,grand challenge,verified software,software engineering,considerable activity,concerted push,right computer-based tool
Software Engineering Process Group,Software deployment,Personal software process,Software engineering,Computer science,Software project management,Software technical review,Software development,Social software engineering,Software verification
Conference
Volume
Issue
ISSN
39
4
0302-9743
ISBN
Citations 
PageRank 
3-540-37215-6
12
0.97
References 
Authors
1
1
Name
Order
Citations
PageRank
Jim Woodcock153477.08