Paper Info
Title
What Use is Verified Software?
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.
Year
DOI
Venue
2007
10.1109/ICECCS.2007.47
Auckland
Keywords
Field
DocType
computer science,cost effectiveness,systems engineering,algorithm design and analysis,system engineering,formal verification
Software deployment,Systems engineering,Software quality analyst,Software engineering,Computer science,Software system,Software verification and validation,Software construction,Software development,Software verification,Social software engineering
Conference
ISBN
Citations 
PageRank 
0-7695-2895-3
4
0.42
References 
Authors
9
1
Name
Order
Citations
PageRank
John Rushby12459235.69