The Community for Technology Leaders
Green Image
Issue No. 04 - April (2006 vol. 39)
ISSN: 0018-9162
pp: 93-95
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
105 ms
(Ver 3.1 (10032016))