Title :
Verified software: a grand challenge
Author :
Jones, Clayton ; O´Hearn, Peter ; Woodcock, Jim
Author_Institution :
Newcastle Univ., NSW, Australia
fDate :
4/1/2006 12:00:00 AM
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;
DOI :
10.1109/MC.2006.145
