DocumentCode

2415011

Title

PM: A Proof Manager For HOL And Other Provers

Author

Fink, George ; Archer, Myla ; Yang, Lie

Author_Institution

University of California at Davis

fYear

1991

fDate

28-30 Aug. 1991

Firstpage

286

Lastpage

304

Keywords

Arithmetic; Computer science; Formal verification; Forward contracts; Hardware; Humans; Logic; Power system management; Software design; Tree data structures;

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.596295

Filename

596295