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