Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai. A novel approach to parameterized verification of cache coherence protocols. In 34th IEEE International Conference on Computer Design, ICCD 2016, Scottsdale, AZ, USA, October 2-5, 2016. pages 560-567, IEEE Computer Society, 2016. [doi]
Abstract is missing.