In: Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989, Orlando, FL, USA, pages 580-587. Washington, DC, USA: IEEE Comput. Soc. Press, 1989.
Abstract: An approach for automated modeling and verification of communication protocols is presented. A language that specifies input/output behavior of protocol entities is introduced as the starting point, and some verification of the specifications is discussed. Further verification is aided by translation of the specifications to a timed Petri net model.
Keywords: communication protocol; timed net; entity-based specification language; modelling (and) verification, (automated).