Verification of cache coherence protocols wrt. trace filters | IEEE Conference Publication | IEEE Xplore