An Integrated Methodology for the Verification of Directory-Based Cache Protocols | IEEE Conference Publication | IEEE Xplore