Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking