Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating-Point Unit
The work
| Authors | Jeremy Gibbons |
|---|---|
| Editors | John Hosking |
| Type | inproceedings |
| Year | 1993 |
| Citekey | gibbons1993formal |
Where it appeared
| Published in | Proceedings of the 13th New Zealand Computer Society Conference |
|---|---|
| Publisher | New Zealand Computer Society |
| Pages | 207--217 |
Access
| Landing page | https://www.cs.ox.ac.uk/publications/publication2370-abstract.html |
|---|
Related
| Distinct from | barrett1987formal |
|---|---|
| Distinct from | cohn1988correctness |
| Distinct from | kumar1996formal |
From bibtex.
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.
A copy is held
pdf, 131.6 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-09-15 21:22 UTC |
| Approved by | a person 2026-09-16 09:30 UTC |
Filed under
Cite it as
@inproceedings{gibbons1993formal,
title = {Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating-Point Unit},
author = {Jeremy Gibbons},
editor = {John Hosking},
year = {1993},
booktitle = {Proceedings of the 13th New Zealand Computer Society Conference},
publisher = {New Zealand Computer Society},
pages = {207--217},
}
This record lives at https://refs.drheap.org/gibbons1993formal/ and will keep doing so.