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
|