Alternative specification and verification of a periodic state exchange protocol.

András L. Oláh Sonia M. Heemstra de Groot

Published in: IEEE/ACM Trans. Netw. (1997)

Keyphrases

protocol specification
colored petri nets
formal analysis
formal verification
cryptographic protocols
lightweight
model checking
finite state machines
transition systems
neural network
high level
state space
formal methods
signature verification
tcp ip
concurrent systems