Title :
Theory of deductive systems for protocol verification
Author :
Li, X. ; Lai, R. ; Dillon, T.S.
Author_Institution :
Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia
Abstract :
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
Keywords :
formal verification; protocols; communication protocol; deductive systems theory; flow control; protocol verification; reliability; synchronisation; verification; Application software; Calculus; Communication system control; Computer science; Control systems; Distributed computing; Logic; Protocols; Reliability engineering; Reliability theory;
Conference_Titel :
Computing and Information, 1992. Proceedings. ICCI '92., Fourth International Conference on
Conference_Location :
Toronto, Ont.
Print_ISBN :
0-8186-2812-X
DOI :
10.1109/ICCI.1992.227621