Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee