Title :
Implementing And Verifying Finite-state Machines Using Types In Higher-order Logic
Author :
Chin, Shiu-Kai ; Birtwistle, Graham
Author_Institution :
Syracuse University
Keywords :
Boolean functions; Calculus; Clocks; Data structures; Design automation; Encoding; Formal verification; Hardware; Logic design; Power generation economics;
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
DOI :
10.1109/HOL.1991.596279
