Survey of Communication Protocol Verification Techniques

Survey of Communication Protocol Verification Techniques

Regular price $20.00 $20.00 Sale

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.