Verified Software: A Grand Challenge
Cliff B. Jones, Peter W. O’Hearn, Jim Woodcock · Computer · 2006
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.