Implementation and Verification of a Cache Coherence protocol using Spin Steven Farago Goal To use Spin to design a âplausibleâ cache coherence protocol Introduce nothing…