Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols.

E. Allen Emerson, Vineet Kahlon

Browse the full TACAS paper archive.