Theory of deductive systems for protocol verification

The development of communication protocol is complicated by the fact that it involves the flow control and synchronisation of many processes. To increase the reliability, verification is an important stage of development of communication protocol. A new approach, deductive systems, for the verification of communication protocol, has been investigated. The authors present the theories of deductive systems for protocol verification.<
>