The Agreement Problem Protocol Verification Environment.

James S. Pascoe Roger J. Loader Vaidy S. Sunderam

Published in: SPIN (2002)

Keyphrases

dynamic environments
cryptographic protocols
real time
lightweight
model checking
mobile robot
protocol specification
neural network
learning environment
security protocols
communication protocols
formal proof
coloured petri nets