PROTOCOL SPECIFICATION, TESTING AND VERIFICATION

被引：0
|
作者：
不详
机构：
来源：
COMPUTER NETWORKS AND ISDN SYSTEMS | 1984年 / 8卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：146 / 155
页数：10
相关论文
共 50 条
  • [41] Using Live Sequence Charts for hardware protocol specification and compliance verification
    Bunker, A
    Gopalakrishnan, G
    SIXTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2001, : 95 - 100
  • [42] Formal specification and verification of a team formation protocol using TLA+
    Niyogi, Rajdeep
    Nath, Amar
    SOFTWARE-PRACTICE & EXPERIENCE, 2024, 54 (06): : 961 - 984
  • [43] Formal specification and verification of protocol-based handover in a mobile process
    Vinh, PC
    JOINT 4TH IEEE INTERNATIONAL CONFERENCE ON ATM (ICATM'01) AND HIGH SPEED INTELLIGENT INTERNET SYMPOSIUM, 2001, : 354 - 358
  • [44] Specification and verification of a multi-agent coordination protocol with TLA+
    Arbs Paiva, Pedro Yuri
    Saotome, Osamu
    Brandauer, Christof
    2018 VIII BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC 2018), 2018, : 207 - 212
  • [45] PARAGON: A paradigm for the specification, verification and testing of real-time systems
    BenAbdallah, H
    Clarke, D
    Lee, I
    Sokolsky, O
    1997 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 2, 1997, : 469 - 488
  • [46] Constructing automated protocol testing oracles to accommodate specification nondeterminism
    Li, JJ
    Liu, H
    Seviora, RE
    SIXTH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS, PROCEEDINGS, 1997, : 532 - 537
  • [47] Raft Protocol Testing Based on TLA+ Formal Specification
    Wang, Dong
    Dou, Wen-Sheng
    Gao, Yu
    Wu, Chen-Ao
    Wei, Jun
    Huang, Tao
    Ruan Jian Xue Bao/Journal of Software, 2024, 35 (12): : 5363 - 5381
  • [48] FORMAL PROTOCOL SPECIFICATION AND CONFORMANCE TESTING - 4 TUTORIAL PAPERS
    RUDIN, H
    WEST, CH
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 14 (01): : 1 - 2
  • [49] Formal specification and verification of a coordination protocol for an automated air traffic control system
    Zhao, Yang
    Rozier, Kristin Yvonne
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 96 : 337 - 353
  • [50] Synthesis and Formal Verification of On-Chip Protocol Transducers through Decomposed Specification
    Fujita, Masahiro
    Tanida, Hideo
    Gao, Fei
    Nishihara, Tasuku
    Matsumoto, Takeshi
    PROCEEDINGS OF THE ELEVENTH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED 2010), 2010, : 515 - 523
12345