The Community for Technology Leaders
Green Image
Issue No. 04 - April (2006 vol. 39)
ISSN: 0018-9162
pp: 93-95
Cliff Jones , University of Newcastle
Peter O'Hearn , University of London
Jim Woodcock , University of York
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

J. Woodcock, C. Jones and P. O'Hearn, "Verified Software: A Grand Challenge," in Computer, vol. 39, no. , pp. 93-95, 2006.
doi:10.1109/MC.2006.145
89 ms
(Ver 3.3 (11022016))