Survey of Communication Protocol Verification Techniques

Efforts at protocol verification have involved a number of formal models such as Petri nets, UCLA Graphs, state diagrams, and assertions. Surveys recent work in verifying the correct operation of communication protocols for computer networks.