A Framework for Microprocessor Correctness Statements.

Mark D. Aagaard Byron Cook Nancy A. Day Robert B. Jones

Published in: CHARME (2001)

Keyphrases

main contribution
multi agent
lightweight
theoretical framework
framework enables
database
machine learning
computer vision
knowledge base
hidden markov models
conceptual framework