Survey of Communication Protocol Verification Techniques
Regular price$20.00
$16.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.