Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating−Point Unit
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 prov...
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
1993
|
| _version_ | 1826256488661778432 |
|---|---|
| author | Gibbons, J |
| author_facet | Gibbons, J |
| author_sort | Gibbons, J |
| collection | OXFORD |
| description | 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. |
| first_indexed | 2024-03-06T18:03:02Z |
| format | Conference item |
| id | oxford-uuid:0077a444-9757-4373-91e0-6b0d7c041afc |
| institution | University of Oxford |
| last_indexed | 2024-03-06T18:03:02Z |
| publishDate | 1993 |
| record_format | dspace |
| spelling | oxford-uuid:0077a444-9757-4373-91e0-6b0d7c041afc2022-03-26T08:29:38ZFormal Methods: Why Should I Care? The Development of the T800 Transputer Floating−Point UnitConference itemhttp://purl.org/coar/resource_type/c_5794uuid:0077a444-9757-4373-91e0-6b0d7c041afcDepartment of Computer Science1993Gibbons, JThe 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. |
| spellingShingle | Gibbons, J Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating−Point Unit |
| title | Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating−Point Unit |
| title_full | Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating−Point Unit |
| title_fullStr | Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating−Point Unit |
| title_full_unstemmed | Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating−Point Unit |
| title_short | Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating−Point Unit |
| title_sort | formal methods why should i care the development of the t800 transputer floating point unit |
| work_keys_str_mv | AT gibbonsj formalmethodswhyshouldicarethedevelopmentofthet800transputerfloatingpointunit |