66 search results - page 14 / 14 » Using JFLAP to interact with theorems in automata theory |
CAV
1998
Springer
13 years 10 months ago
1998
Springer
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...