What Use Is Verified Software?
John Rushby
Invited paper for a special session on the Verified
Software Initiative, 12th IEEE International
Conference on the Engineering of Complex Computer Systems (ICECCS),
Auckland, New Zealand,
July 2007, pp. 270-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.
gzipped postscript,
or
plain postscript
or
PDF
or
crude ascii (for your Palm Pilot)
Slides
gzipped postscript,
or
plain postscript
or
PDF
or
crude ascii (for your Palm Pilot)
BibTeX Entry
@INPROCEEDINGS{Rushby07:vsi,
AUTHOR = {John Rushby},
TITLE = {What Use Is Verified Software?},
BOOKTITLE = {12th IEEE International Conference on the Engineering of Complex Computer Systems ({ICECCS})},
YEAR = 2007,
ORGANIZATION = {IEEE Computer Society},
ADDRESS = {Auckland, New Zealand},
MONTH = jul,
PAGES = {270--276},
NOTE = {Available at \url{http://www.csl.sri.com/~rushby/abstracts/iceccs07-vsi}}
}
Having trouble reading our papers?
Return to John Rushby's bibliography page
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page