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