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 条
  • [41] GENERALIZED DIVISION FOR RELATIONAL ALGEBRAIC LANGUAGE
    DEMOLOMBE, R
    INFORMATION PROCESSING LETTERS, 1982, 14 (04) : 174 - 178
  • [42] Algebraic equivalences of nested relational operators
    Liu, HC
    Yu, JX
    INFORMATION SYSTEMS, 2005, 30 (03) : 167 - 204
  • [43] Relational and algebraic methods in computer science
    Hofner, Peter
    Jipsen, Peter
    Kahl, Wolfram
    Mueller, Martin Eric
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (04) : 447 - 448
  • [44] AN ALGEBRAIC-THEORY OF RELATIONAL DATABASES
    LEE, TT
    BELL SYSTEM TECHNICAL JOURNAL, 1983, 62 (10): : 3159 - 3204
  • [45] REGULARITY OF RELATIONAL HYPERSUBSTITUTIONS FOR ALGEBRAIC SYSTEMS
    Daengsaen, Jukkrit
    Leeratanavalee, Sorasak
    JP JOURNAL OF ALGEBRA NUMBER THEORY AND APPLICATIONS, 2019, 44 (02): : 229 - 250
  • [46] An Algebraic Framework for Runtime Verification
    Jaksic, Stefan
    Bartocci, Ezio
    Grosu, Radu
    Nickovic, Dejan
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2018, 37 (11) : 2233 - 2243
  • [47] Certified Verification for Algebraic Abstraction
    Tsai, Ming-Hsien
    Fu, Yu-Fu
    Liu, Jiaxiang
    Shi, Xiaomu
    Wang, Bow-Yaw
    Yang, Bo-Yin
    COMPUTER AIDED VERIFICATION, CAV 2023, PT III, 2023, 13966 : 329 - 349
  • [48] A complete set of fuzzy relational algebraic operators in fuzzy relational databases
    Tang, XH
    Chen, GQ
    2004 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-3, PROCEEDINGS, 2004, : 565 - 569
  • [49] Verification of Memory Transactions in AXI Protocol using System Verilog Approach
    Mahesh, G.
    Sakthivel, S. M.
    2015 INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND SIGNAL PROCESSING (ICCSP), 2015, : 860 - 864
  • [50] Relational interprocedural verification of concurrent programs
    Jeannet, Bertrand
    SOFTWARE AND SYSTEMS MODELING, 2013, 12 (02): : 285 - 306
12345