Login / Signup
Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design.
Ghassan Chehaibar
Published in:
FORTE (2004)
Keyphrases
</>
formal verification
model checking
design process
cooperative
user interface
distributed systems
multi agent
knowledge based systems
distributed environment
formal specification
functional verification