A RELATIONAL ALGEBRAIC APPROACH TO PROTOCOL VERIFICATION

被引：11
|
作者：
LEE, TT
LAI, MY
机构：
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1988年 / 14卷 / 02期
关键词：
D O I：
10.1109/32.4637
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：184 / 193
页数：10
相关论文
共 50 条
  • [21] Relational Network Verification
    Xu, Xieyang
    Yuan, Yifei
    Kincaid, Zachary
    Krishnamurthy, Arvind
    Mahajan, Ratul
    Walker, David
    Zhai, Ennan
    PROCEEDINGS OF THE 2024 ACM SIGCOMM 2024 CONFERENCE, ACM SIGCOMM 2024, 2024, : 213 - 227
  • [22] On powers of relational and algebraic systems
    N. Chaisansuk
    S. Leeratanavalee
    Acta Mathematica Hungarica, 2013, 139 : 195 - 207
  • [23] On powers of relational and algebraic systems
    Chaisansuk, N.
    Leeratanavalee, S.
    ACTA MATHEMATICA HUNGARICA, 2013, 139 (03) : 195 - 207
  • [24] Formal specification and verification of the SET/A protocol with an integrated approach
    Lam, VSW
    Padget, J
    CEC 2004: IEEE INTERNATIONAL CONFERENCE ON E-COMMERCE TECHNOLOGY, PROCEEDINGS, 2004, : 229 - 235
  • [25] Protocol verification in a software component-based approach
    Mouakher, Ines
    Souquieres, Jeanine
    Alexandre, Francis
    FIFTEENTH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2008, : 136 - 145
  • [26] Safety verification of an aircraft landing protocol: A refinement approach
    Umeno, Shinya
    Lynch, Nancy
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2007, 4416 : 557 - +
  • [27] A Novel Approach For Functional Verification Of Memory Protocol Standard
    Samir, Omar
    Kassem, Moustafa
    Sameh, Mohammed
    Aly, Sarah
    Rizk, Mohamed
    Abdelsalam, Mohamed
    Salem, Ashraf
    2013 8TH INTERNATIONAL DESIGN AND TEST SYMPOSIUM (IDT), 2013,
  • [28] Formal Verification of Constrained Arithmetic Circuits using Computer Algebraic Approach
    Su, Tiankai
    Yasin, Atif
    Pillement, Sebastien
    Ciesielski, Maciej
    2020 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI 2020), 2020, : 386 - 391
  • [29] Verification of object relational maps
    Mehra, Krishna K.
    Rajamani, Sriram K.
    Sistla, A. Prasad
    Jha, Surnit K.
    SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 283 - 292
  • [30] Verification of object relational maps
    Microsoft Research India
    不详
    不详
    Proc. - IEEE Int. Conf. Softw. Eng. Form. Methods, SEFM, (283-292):
12345