Abstract

Different approaches have been used for the formal specification and verification of communication protocols. As explained in Chapter 20, most of these approaches use finite state transition diagrams or programs written is some high-level programming language or both. The purpose of this chapter is threefold.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call