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
