The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - April (2006 vol.39)
pp: 93-95
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
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
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool