DocumentCode

2411515

Title

Implementing And Verifying Finite-state Machines Using Types In Higher-order Logic

Author

Chin, Shiu-Kai ; Birtwistle, Graham

Author_Institution

Syracuse University

fYear

1991

fDate

28-30 Aug. 1991

Firstpage

121

Lastpage

129

Keywords

Boolean functions; Calculus; Clocks; Data structures; Design automation; Encoding; Formal verification; Hardware; Logic design; Power generation economics;

fLanguage

English

Publisher

ieee

Conference_Titel

HOL Theorem Proving System and Its Applications, 1991., International Workshop on the

Conference_Location

Davis, CA, USA

Print_ISBN

0-8186-2460-4

Type

conf

DOI

10.1109/HOL.1991.596279

Filename

596279