The Community for Technology Leaders
Design Automation Conference (1988)
Anaheim, CA, USA
June 12, 1988 to June 15, 1988
ISBN: 0-8186-0864-1
pp: 197-204
Stavridou , Dept. of Comput. Sci., Manchester Univ., UK
Barringer , Dept. of Comput. Sci., Manchester Univ., UK
Edwards , Dept. of Comput. Sci., Manchester Univ., UK
ABSTRACT
A report is presented on the results of a first controlled experiment comparing formalisms and systems that are currently used for formally specifying and verifying both hardware and software systems. The strategy consists of working with incrementally harder test cases, which are used to investigate the characteristics and thus the pros and cons of each formalism. The example used is a purely combinational device.
INDEX TERMS
formal specification, hardware system, software quality, verification, software systems
CITATION

Stavridou, Barringer and Edwards, "Formal specification and verification of hardware: a comparative case study," Design Automation Conference(DAC), Anaheim, CA, USA, 1988, pp. 197-204.
doi:10.1109/DAC.1988.14758
93 ms
(Ver 3.3 (11022016))