Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating−Point Unit

Abstract

The term `formal methods' is a general term for precise mathematically-based techniques used in the development of computer systems, both hardware and software. This paper discusses formal methods in general, and in particular describes their successful role in specifying, constructing and proving correct the floating-point unit of the Inmos T800 transputer chip.