Formal Verification of a Snoop-Based Cache Coherence Protocol Using Symbolic Model Checking. - Srivatsan Srinivasan; Parminder Singh Chhabra; Praveen Kumar Jaini; Adnan Aziz; Lizy Kurian John (VLSI Design, 1999)