Early error detection in industrial strength cache coherence protocols using SQL | IEEE Conference Publication | IEEE Xplore