A linked list cache coherence protocol: verifying the bottom layer | IEEE Conference Publication | IEEE Xplore