Stenning's Protocol Implemented in UDP and Verified in Isabelle.

Michael Compton

Published in: CATS (2005)

Keyphrases

tcp ip
lightweight
real time
theorem prover
application layer
transport layer
knowledge representation
wireless networks
security analysis
communication protocol
coloured petri nets