Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models
It is becoming increasingly important that communication protocols be formally specified and verified. This paper describes a particular approach–the state transition model–usin...