Toasters, Seat Belts, and Inferring Program Properties

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. If you want a guarantee, buy a toaster. Clint Eastwood (The Rookie, 1990)

• Type: Conference
• Year: 2005
• Where: VSTTE
• Authors: David Evans
• Keywords: Dependable Software, Meaningful Guarantees, Software Engineering, Today’s Software, VSTTE 2005