Formal Description and Verification of a Transport Protocol for Local Networks

被引：4
|
作者：
李腊元 [1 ]
机构：
[1] Wuhan University of Water Transportation Engtineering
来源：
Journal of Computer Science and Technology | 1990年 / 01期
关键词：
Formal Description and Verification of a Transport Protocol for Local Networks; SSM; LLC; CR; DRI;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This paper discusses a transport protocol and its formal description techniques for local network .The trans-port layer function, the transport services and a transport protocol design in a local network architecture modelare presented. A transport protocol specification using the finite state automata (FSA) is given. Thecorrectness of the protocol is verified by using the reachability tree technique with respect to the protocol properties of completeness ,deadlock and livelock freeness, termination and reachability.
引用
收藏
页码：64 / 70
页数：7
相关论文
共 50 条
  • [41] Formal verification of the Alpha 21364 network protocol
    Mokkedem, A
    Leonard, T
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2000, 1869 : 443 - 461
  • [42] Formal verification of security protocol implementations: a survey
    Avalle, Matteo
    Pironti, Alfredo
    Sisto, Riccardo
    FORMAL ASPECTS OF COMPUTING, 2014, 26 (01) : 99 - 123
  • [43] Formal Specification and Verification of Transmission Control Protocol
    Jarrar, Abdessamad
    Bellasri, Otman
    Chougdali, Sallami
    Balouki, Youssef
    ICCWCS'17: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON COMPUTING AND WIRELESS COMMUNICATION SYSTEMS, 2017,
  • [44] A Formal Approach to the Verification of Networks on Chip
    Borrione, Dominique
    Helmy, Amr
    Pierre, Laurence
    Schmaltz, Julien
    EURASIP JOURNAL ON EMBEDDED SYSTEMS, 2009, (01)
  • [45] Formal verification for quantized neural networks
    Kovasznai, Gergely
    Kiss, Dorina Hedvig
    Mlinko, Peter
    ANNALES MATHEMATICAE ET INFORMATICAE, 2023, 57 : 36 - 48
  • [46] Formal Verification of Deep Neural Networks
    Narodytska, Nina
    PROCEEDINGS OF THE 2018 18TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD), 2018, : 1 - 1
  • [47] Formal verification for quantized neural networks
    Kovasznai, Gergely
    Kiss, Dorina Hedvig
    Mlinko, Peter
    ANNALES MATHEMATICAE ET INFORMATICAE, 2023, 57 : 36 - 48
  • [48] Study on formal description style of network protocol
    Li, Layuan
    Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 19 (03): : 62 - 69
  • [49] FORMAL DESCRIPTION TECHNIQUES AND AUTOMATED PROTOCOL SYNTHESIS
    CARCHIOLO, V
    FARO, A
    GIORDANO, D
    INFORMATION AND SOFTWARE TECHNOLOGY, 1992, 34 (08) : 513 - 521
  • [50] A formal description technique and an environment for protocol engineering
    Chung, A
    Sidhu, D
    INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 13TH INTERNATIONAL CONFERENCE ON COMPUTERS AND THEIR APPLICATIONS, 1998, : 131 - 135
12345