A novel approach to parameterized verification of cache coherence protocols.

Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai

Browse the full ICCD paper archive.