DocumentCode
898354
Title
Verified software: a grand challenge
Author
Jones, Clayton ; O´Hearn, Peter ; Woodcock, Jim
Author_Institution
Newcastle Univ., NSW, Australia
Volume
39
Issue
4
fYear
2006
fDate
4/1/2006 12:00:00 AM
Firstpage
93
Lastpage
95
Abstract
Given the right computer-based tools, the use of formal methods could become widespread and transform software engineering. The computer science community recently committed itself to making verified software a reality within the next 15 to 20 years when representatives met in Zurich in 2005 to discuss an international grand challenge on verification.
Keywords
program verification; software tools; computer science community; computer-based tools; formal methods; software engineering; software verification; Application software; Computer architecture; Computer science; Costs; Physics computing; Snow; Software testing; Software tools; Tires; Warranties; Formal methods; Software technologies; Verification Challenge;
fLanguage
English
Journal_Title
Computer
Publisher
ieee
ISSN
0018-9162
Type
jour
DOI
10.1109/MC.2006.145
Filename
1621009
Link To Document