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