Formal Modeling and Verification of Microprocessors.

Phillip J. Windley

Published in: IEEE Trans. Computers (1995)

Keyphrases

formal methods
formal analysis
modeling language
database
neural network
computing power
formal models
information retrieval
computer vision
information systems
image processing
model checking