Case Study in Protocol Validation: Validating an ATM Signalling Protocol

In the rapidly moving world of high speed communications many contradictions are always present, this paper examines the problem of the lack of capabilities inherent in the current ATM signalling protocol. While ATM has been designed to cater for a very ...

The network for supporting the global personal communication is called the global mobility network (GLOMONET), where global mobility is guaranteed by coordination between intelligent networks (INs). This paper describes the implementation of a roaming ...

For the development of communications software composed of many modules, protocol validation is considered essential to detect errors in the interactions among the modules. Protocol validation techniques previously proposed have required validation time ...