Verified software: a grand challenge

@article{Jones2006VerifiedSA,
  title={Verified software: a grand challenge},
  author={Cliff B. Jones and Peter W. O'Hearn and Jim Woodcock},
  journal={Computer},
  year={2006},
  volume={39},
  pages={93-95}
}
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. 
Highly Cited
This paper has 92 citations. REVIEW CITATIONS

Topics

Statistics

01020'05'06'07'08'09'10'11'12'13'14'15'16'17'18
Citations per Year

93 Citations

Semantic Scholar estimates that this publication has 93 citations based on the available data.

See our FAQ for additional information.