Sciweavers

95
Voted
CHARME
2001
Springer
162views Hardware» more  CHARME 2001»
15 years 16 days ago
Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...
Kenneth L. McMillan