Formal verification of safety properties for a cache coherence protocol | IEEE Conference Publication | IEEE Xplore