DocumentCode
3108195
Title
What Use is Verified Software?
Author
Rushby, John
Author_Institution
Comput. Sci. Lab., Menlo Park
fYear
2007
fDate
11-14 July 2007
Firstpage
270
Lastpage
276
Abstract
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.
Keywords
formal verification; cost-effective systems; systems context; systems engineering; verification technology; verified software; Algorithm design and analysis; Computer science; Formal verification; Laboratories; Phase frequency detector; Runtime; Software algorithms; Software safety; Subcontracting; Systems engineering and theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on
Conference_Location
Auckland
Print_ISBN
0-7695-2895-3
Type
conf
DOI
10.1109/ICECCS.2007.47
Filename
4276323
Link To Document