DocumentCode
3333265
Title
The Application of Program Verification to Hardware Verification
Author
Darringer, John A.
Author_Institution
IBM Thomas J. Watson Research Center, Yorktown Heights, N
fYear
1979
fDate
25-27 June 1979
Firstpage
375
Lastpage
381
Keywords
Algebra; Application software; Arithmetic; Costs; Design engineering; Formal specifications; Hardware; Performance evaluation; Programming profession; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation, 1979. 16th Conference on
Type
conf
DOI
10.1109/DAC.1979.1600139
Filename
1600139
Link To Document