This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Verified Software: A Grand Challenge
April 2006 (vol. 39 no. 4)
pp. 93-95
Cliff Jones, University of Newcastle
Peter O'Hearn, University of London
Jim Woodcock, University of York
Given the right computer-based tools, the use of formal methods could become widespread and transform software engineering.
Index Terms:
Software technologies, Verification Challenge, Formal methods
Citation:
Cliff Jones, Peter O'Hearn, Jim Woodcock, "Verified Software: A Grand Challenge," Computer, vol. 39, no. 4, pp. 93-95, April 2006, doi:10.1109/MC.2006.145
Usage of this product signifies your acceptance of the Terms of Use.