DocumentCode
307124
Title
Automated verification of LAN protocols: a case study
Author
Voet, Irene
Author_Institution
AT&T Bell Labs., Utrecht, Netherlands
fYear
1994
fDate
2-3 Nov 1994
Firstpage
133
Lastpage
140
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Communications and Vehicular Technology in the Benelux, 1994., IEEE Second Symposium on
Conference_Location
Louvain la Neuve
Type
conf
DOI
10.1109/SCVT.1994.574155
Filename
574155
Link To Document