Automatic verification of the SCI cache coherence protocol.

Ulrich Stern David L. Dill

Published in: CHARME (1995)

Keyphrases

lightweight
network protocols
communication protocol
cryptographic protocols
security protocols
security model
tcp ip
information systems
multi agent
formal analysis
protocol specification
voting protocols
coloured petri nets