Sciweavers

66 search results - page 14 / 14
» Using JFLAP to interact with theorems in automata theory
Sort
View
CAV
1998
Springer
175views Hardware» more  CAV 1998»
13 years 10 months ago
An ACL2 Proof of Write Invalidate Cache Coherence
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
J. Strother Moore