Conference item icon

Conference item

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.

Actions

  • Cite

  • Print

Authors

More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author

Host title:
Proceedings of the 13th New Zealand Computer Society Conference
Publication date:
1993-01-01

UUID:
uuid:0077a444-9757-4373-91e0-6b0d7c041afc
Local pid:
cs:2370
Deposit date:
2015-03-12
ARK identifier:

Terms of use

Views and Downloads





If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP