Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol