Formal Methods Anecdotes: Worse Is Better!

Presented as part of the 2007 HCSS conference.

Abstract

HCSS is usually focused on the best of mathematically sound methods and models. In this talk, we celebrate unsound, incomplete, or incorrect models, methods, and tools. We will argue that these can be highly beneficial, are more widely usable, and may facilitate the adoption of formal methods.