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.

@article{ClarkeGHJLMN95,
  title = {Verification of the Futurebus+ Cache Coherence Protocol},
  author = {Edmund M. Clarke and Orna Grumberg and Hiromi Hiraishi and Somesh Jha and David E. Long and Kenneth L. McMillan and Linda A. Ness},
  year = {1995},
  tags = {caching, protocol},
  researchr = {https://researchr.org/publication/ClarkeGHJLMN95},
  cites = {0},
  citedby = {0},
  journal = {Formal Methods in System Design},
  volume = {6},
  number = {2},
  pages = {217-232},
}