Title :
Automated verification of LAN protocols: a case study
Author_Institution :
AT&T Bell Labs., Utrecht, Netherlands
Abstract :
The COSPAN development method is a state machine based development method that enables stepwise development of protocols. Both specifications and properties are formalised in the same framework. Automated verification is provided for checking properties against specifications as well as for checking consistency of development. The application of COSPAN in the development of a carrier sense multiple access protocol for a single channel wireless LAN is investigated
Keywords :
wireless LAN; COSPAN development method; LAN protocols; automated verification; carrier sense multiple access protocol; properties; single channel wireless LAN; specifications; state machine based development method; Access protocols; Computer aided software engineering; Local area networks; Media Access Protocol; Process design; System recovery; Telecommunication control; Wireless LAN; Wireless application protocol; Wireless sensor networks;
Conference_Titel :
Communications and Vehicular Technology in the Benelux, 1994., IEEE Second Symposium on
Conference_Location :
Louvain la Neuve
DOI :
10.1109/SCVT.1994.574155
