What Use is Verified Software?

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.

• Type: Conference
• Year: 2007
• Where: ICECCS
• Authors: John M. Rushby
• Keywords: Cost-effective Systems, Hardware, ICECCS 2007, Large Cares, Verification Technology