loading...
Verified Software: A Grand Challenge
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2006.145April 2006 (vol. 39 no. 4) pp. 93-95
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Cliff Jones, Peter O'Hearn, Jim Woodcock, "Verified Software: A Grand Challenge," Computer, vol. 39, no. 4, pp. 93-95, April, 2006.
 
 
BibTex
x
 
@article{ 10.1109/MC.2006.145,
author = {Cliff Jones and Peter O'Hearn and Jim Woodcock},
title = {Verified Software: A Grand Challenge},
journal ={Computer},
volume = {39},
number = {4},
issn = {0018-9162},
year = {2006},
pages = {93-95},
doi = {http://doi.ieeecomputersociety.org/10.1109/MC.2006.145},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - Computer
TI - Verified Software: A Grand Challenge
IS - 4
SN - 0018-9162
SP93
EP95
EPD - 93-95
A1 - Cliff Jones,
A1 - Peter O'Hearn,
A1 - Jim Woodcock,
PY - 2006
KW - Software technologies
KW - Verification Challenge
KW - Formal methods
VL - 39
JA - Computer
ER -
 
Cliff Jones, University of Newcastle
Peter O'Hearn, University of London
Jim Woodcock, University of York
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, Apr. 2006, doi:10.1109/MC.2006.145
Usage of this product signifies your acceptance of the Terms of Use.