Verification of the Futurebus+ cache coherence protocol (1995)

by E M Clarke, O Grumberg, H Hiraishi, S Jha, D E Long, K L McMillan, L A Ness
Venue:Formal Methods in System Design