[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

FLASH Cache Coherence Protocol


Citation: Arnaud Durand, "Modeling Cache Coherence Protocol -- A Case Study with FLASH". In Proceedings of the 28th Annual Conference of the German Society of Computer Science, Technical Report, Magdeburg University, 1998.
Summary: A specification and proof of correctness of the cache coherence protocol in the Stanford FLASH multiprocessor system.
Subjects: Hardware, Protocols, Verification
Download: PostScript, PDF, Compressed PostScript
Notes: See also a model checking verification of this specification.
[an error occurred while processing this directive]