loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)
What Use is Verified Software?
Auckland, New Zealand
July 11-July 14
ISBN: 0-7695-2895-3
ASCII Text
x 
 
John Rushby, "What Use is Verified Software?," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 270-276, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/ICECCS.2007.47,
author = {John Rushby},
title = {What Use is Verified Software?},
journal ={Engineering of Complex Computer Systems, IEEE International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-2895-3},
pages = {270-276},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.47},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Complex Computer Systems, IEEE International Conference on
TI - What Use is Verified Software?
SN - 0-7695-2895-3
SP270
EP276
A1 - John Rushby,
PY - 2007
KW - null
VL - 0
JA - Engineering of Complex Computer Systems, IEEE International Conference on
ER -
 
John Rushby, SRI International, USA
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well.We examine the value of verified software and of verification technology in the systems context from two perspectives, one analytic, the other synthetic. We propose some research opportunities that could enhance the contribution of the verified software initiative to the practices of systems engineering and assurance.
Citation:
John Rushby, "What Use is Verified Software?," iceccs, pp.270-276, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.