The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - April (2006 vol.39)
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
Cliff Jones, 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
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool