DocumentCode :
3255161
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
fYear :
1992
fDate :
28-30 May 1992
Firstpage :
422
Lastpage :
425
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computing and Information, 1992. Proceedings. ICCI '92., Fourth International Conference on
Conference_Location :
Toronto, Ont.
Print_ISBN :
0-8186-2812-X
Type :
conf
DOI :
10.1109/ICCI.1992.227621
Filename :
227621
Link To Document :
بازگشت