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 条
  • [1] Algebraic relational approach to conflating images
    Kovalerchuk, B
    Sumner, W
    ALGORITHMS AND TECHNOLOGIES FOR MULTISPECTRAL, HYPERSPECTRAL AND ULTRASPECTRAL IMAGERY IX, 2003, 5093 : 621 - 630
  • [2] An algebraic approach for PLC programs verification
    Roussel, JM
    Faure, JM
    WODES'02: SIXTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2002, : 303 - 308
  • [3] An algebraic approach to formal verification of microprocessors
    Hirabayashi, K
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2001, 17 (06): : 543 - 544
  • [4] An Algebraic Approach to Formal Verification of Microprocessors
    Kanji Hirabayashi
    Journal of Electronic Testing, 2001, 17 : 543 - 544
  • [5] GRAPHS AS RELATIONAL STRUCTURES - AN ALGEBRAIC AND LOGICAL APPROACH
    COURCELLE, B
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 532 : 238 - 252
  • [6] An Algebraic Approach to DC Railway Electrification Verification
    Roanes-Lozano, Eugenio
    Gonzalez-Martin, Ruben
    Montero, Javier
    MATHEMATICS IN COMPUTER SCIENCE, 2019, 13 (03) : 449 - 457
  • [7] Symbolic verification of hybrid systems: An algebraic approach
    von Mohrenschildt, M
    EUROPEAN JOURNAL OF CONTROL, 2001, 7 (05) : 541 - 556
  • [8] An Algebraic Approach to DC Railway Electrification Verification
    Eugenio Roanes-Lozano
    Rubén González-Martín
    Javier Montero
    Mathematics in Computer Science, 2019, 13 : 449 - 457
  • [9] Relational Algebraic Approach to the Real Numbers the Additive Group
    Winter, Michael
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, RAMICS 2023, 2023, 13896 : 274 - 292
  • [10] A local search approach to protocol verification
    Ma, Kun
    Li, Yongjian
    Cai, Shaowei
    Zhao, Yongxin
    THEORETICAL COMPUTER SCIENCE, 2024, 1008
12345