Applying Formal Verification to a Cache Coherence Protocol in TLS | IEEE Conference Publication | IEEE Xplore