Gordon's Computer: A Hardware Verification Case Study in OBJ3.
Victoria StavridouPublished in: Formal Methods Syst. Des. (1994)
Keyphrases
- case study
- computer systems
- low cost
- computer hardware
- hardware designs
- digital computer
- personal computer
- model checking
- real time
- hardware and software
- computer technology
- hardware implementation
- computer architecture
- computing power
- real world
- formal verification
- high end
- data acquisition
- operating system
- hardware design
- image processing
- data sets