REVERIFICATION OF A MICROPROCESSOR.

Proceedings of the Symposium on Security and Privacy

Volumn , Issue , 1988, Pages 166-176

  Crocker, Stephen D ^a   Cohen, Eve ^a   Landauer, Sue ^a   Orman, Hilarie ^a  

^a Trusted Information Systems Inc

Author keywords

[No Author keywords available]

Indexed keywords

BOYER-MOORE THEOREM-PROVER; FM8501 MICROPROCESSOR REVERIFICATION; MICROCODED PROCESSORS; PROOF STRATEGIES; STATE DELTA VERIFICATION SYSTEM;

COMPUTERS, MICROCOMPUTER;

EID: 0023826035     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)