Network Protocol Simulation in Maude
Motivation
Our Approach
Benefits
Network Picture
Maude Network Model
Network objects in Maude
Network Local Rules
Timed Networks
Rules for Passage of Time
The Hello Protocol
Hello Nodes
Hello Rules - receive hello
Hello Rules - helloTimeOut
Hello Rules - neighbor TO
Strategy primitives
Three on a Lan Test Configurations
Experiments
Six on a Lan Test Configuration
Hnet6 Experiments
Hnet6 details
Hnet6 Details cntd.
Future Work - Lots of it
Composing Issues
Home Page: http://www-formal.stanford.edu/clt