Toasters, Seat Belts, and Inferring Program Properties

David Evans
IFIP Working Conference on Verified Software: Theories, Tools, Experiments
Part of ETH's 150^th 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