Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness.

Kai Baukus, Yassine Lakhnech, Karsten Stahl

Browse the full VMCAI paper archive.