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.
Details
| Book Title |
Proceedings of the 13th New Zealand Computer Society Conference |
| Editor |
John Hosking |
| Pages |
207–217 |
| Year |
1993 |
Links
Related pages
|
People |