Modeling Cache Coherence Protocol - A Case Study with FLASH

This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corner cases that leads to unlikely situations are exhibited.

• Type: Conference
• Year: 1998
• Where: ASM
• Authors: Arnaud Durand
• Keywords: ASM 1998, ASM Formalism, Computational Biology, Correctness Proofs, Stanford FLASHcache Coherence