Toasters, Seat Belts, and Inferring Program Properties

David Evans
IFIP Working Conference on Verified Software: Theories, Tools, Experiments
Part of ETH's 150th anniversary celebration
Zürich, Switzerland
10-13 October 2005.

Abstract
Today's software does not come with meaningful guarantees. This position paper explores why this is the case, suggests societal and technical impediments to more dependable software, and considers what realistic, meaningful guarantees for software would be like and how to achieve them.

Complete Paper (8 pages) [PDF]

Inexpensive Program Analysis Group Page
Terracotta


CS 655 David Evans - Publications
University of Virginia
Department of Computer Science
David Evans
evans@cs.virginia.edu