DMCA

Parameterized verification of the FLASH cache coherence protocol by compositional model checking (2001)

by K. L. Mcmillan , Cadence Berkeley Labs
Venue:In CHARME 01: IFIP Working Conference on Correct Hardware Design and Verification Methods, Lecture Notes in Computer Science 2144
Citations:31 - 0 self