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.

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