Issue No. 04 - April (2006 vol. 39)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2006.145
Jim Woodcock , University of York
Cliff Jones , University of Newcastle
Peter O'Hearn , University of London
Given the right computer-based tools, the use of formal methods could become widespread and transform software engineering.
Software technologies, Verification Challenge, Formal methods
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