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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have