Verification of the Futurebus+ Cache Coherence Protocol

Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness. Verification of the Futurebus+ Cache Coherence Protocol. Formal Methods in System Design, 6(2):217-232, 1995.

Abstract

Abstract is missing.