مرکز منطقه ای اطلاع رساني علوم و فناوري - Using HOL To Produce Custom Verification Tools

DocumentCode :

2412378

Title :

Using HOL To Produce Custom Verification Tools

Author :

Shepherd, David

Author_Institution :

INMOS ltd

fYear :

1991

fDate :

28-30 Aug. 1991

Firstpage :

162

Lastpage :

169

Keywords :

Assembly; Compaction; Concrete; Decoding; Logic; Microprocessors; Minimization methods; Read only memory;

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

Filename :

596283

Link To Document :