collaborators

1 paper

cs.DC2014

Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom

Divjyot Sethi, Muralidhar Talupur, Sharad Malik

We consider the problem of verifying deadlock freedom for symmetric cache coherence protocols. In particular, we focus on a specific form of deadlock which is useful for the cache…