Brad D. Bingham, Mark R. Greenstreet, Jesse D. Bingham. Parameterized verification of deadlock freedom in symmetric cache coherence protocols. In Per Bjesse, Anna Slobodová, editors, International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011. pages 186-195, FMCAD Inc., 2011. [doi]
Abstract is missing.