Verified Software: A Grand Challenge

Download PDF
Open Webpage

Cliff B. Jones, Peter W. O'Hearn, Jim Woodcock

Published: 01 Jan 2006, Last Modified: 16 May 2025Computer 2006EveryoneRevisionsBibTeXCC BY-SA 4.0
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.