DocumentCode
3552985
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
fYear
1988
fDate
12-15 June 1988
Firstpage
197
Lastpage
204
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 1988. Proceedings., 25th ACM/IEEE
Conference_Location
Anaheim, CA, USA
ISSN
0738-100X
Print_ISBN
0-8186-0864-1
Type
conf
DOI
10.1109/DAC.1988.14758
Filename
14758
Link To Document