Title :
Formal specification and verification of hardware: a comparative case study
Author :
Stavridou, V. ; Barringer, H. ; Edwards, D.A.
Author_Institution :
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.<>
Keywords :
computer evaluation; software reliability; software tools; formal specification; hardware system; software quality; software systems; verification; Circuit testing; Computer aided software engineering; Computer science; Design automation; Formal specifications; Hardware; Microprocessors; Software quality; Software tools; Very large scale integration;
Conference_Titel :
Design Automation Conference, 1988. Proceedings., 25th ACM/IEEE
Conference_Location :
Anaheim, CA, USA
Print_ISBN :
0-8186-0864-1
DOI :
10.1109/DAC.1988.14758
