Title | Citations | PageRank | Year |
---|---|---|---|
Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness | 27 | 1.25 | 2002 |
Verification of Parameterized Protocols | 13 | 0.78 | 2001 |
Abstracting WS1S Systems to Verify Parameterized Networks | 27 | 1.09 | 2000 |
Verifying Universal Properties of Parameterized Networks | 10 | 0.64 | 2000 |
Divide, Abstract, and Model-Check | 15 | 0.92 | 1999 |