Issue No. 04 - April (2006 vol. 39)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2006.145
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.
Software technologies, Verification Challenge, Formal methods
J. Woodcock, C. Jones and P. O'Hearn, "Verified Software: A Grand Challenge," in Computer, vol. 39, no. , pp. 93-95, 2006.