High Confidence Software and Systems Conference

A world class community of researchers gather each year for a full week of High Confidence Software and Systems Conference activities that are structured to focus on new scientific and technological foundations that can enable entirely new generations of engineered designs that are becoming essential for effectively operating life–, safety–, security–, and mission–critical systems. The twenty-fourth annual High Confidence Software and Systems (HCSS) Conference will be held May 6-8, 2024.

Formal Methods Anecdotes: Worse Is Better!

Download

pdf

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.

Tags:

Presentation

HCSS '07

HCSS 2007

License: CC-2.5

Submitted by Timothy Thimmesch on Mon, 02/06/2012 - 15:55