Interpreter composition issues in the formal verification of a processor-memory module

An edition of Interpreter composition issues in the formal verification of a processor-memory module (1994)

Interpreter composition issues in the formal verification of a processor-memory module

By David A. Fura

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1994

Publisher

National Aeronautics and Space Administration, Langley Research Center,National Technical Information Service, distributor

Language

eng

Pages

Description:

subjects: Memory (Computers), Embedded computer systems, Theorem proving, Fault tolerance, Microprocessors, Circuit reliability