Title :
What Use is Verified Software?
Author_Institution :
Comput. Sci. Lab., Menlo Park
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;
Conference_Titel :
Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on
Conference_Location :
Auckland
Print_ISBN :
0-7695-2895-3
DOI :
10.1109/ICECCS.2007.47
