The Community for Technology Leaders
Green Image
Issue No. 04 - April (2006 vol. 39)
ISSN: 0018-9162
pp: 93-95
Jim Woodcock , University of York
Cliff Jones , University of Newcastle
Peter O'Hearn , University of London
ABSTRACT
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
Jim Woodcock, Cliff Jones, Peter O'Hearn, "Verified Software: A Grand Challenge", Computer, vol. 39, no. , pp. 93-95, April 2006, doi:10.1109/MC.2006.145
94 ms
(Ver )