Simulation of broadband multiple access protocols for wireless networks

This paper describes the simulation of two broadband multiple access protocols. The protocols are modeled using OPNET. A formal verification for one of the protocols is also provided. The simulation models and verification procedures will be useful for network designers who wish to understand the operation of the two protocols.