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