An ACL2 Proof of Write Invalidate Cache Coherence.

J. Strother Moore

Published in: CAV (1998)

Keyphrases

theorem prover
theorem proving
natural language learning
genetic algorithm
geometry theorem proving
database
neural network
real world
artificial intelligence
decision making
artificial neural networks
read write
logical rules
complete axiomatization