Verification of the Futurebus+ Cache Coherence Protocol (1995)

by Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness