Skip to main content

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

Jeremy Gibbons

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.

Book Title
Proceedings of the 13th New Zealand Computer Society Conference
Editor
John Hosking
Pages
207–217
Year
1993