AN AUTOMATA-THEORETIC APPROACH TO PROTOCOL VERIFICATION

被引：0
|
作者：
VARDI, MY
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 335卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：73 / 73
页数：1
相关论文
共 50 条
  • [1] An automata-theoretic approach to software verification
    Esparza, J
    DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2003, 2710 : 21 - 21
  • [2] The automata-theoretic approach to verification of reactive systems
    Chebotarev A.N.
    Cybernetics and Systems Analysis, 2001, 37 (6) : 810 - 819
  • [3] An automata-theoretic approach to the verification of distributed algorithms
    Aiswarya, C.
    Bollig, Benedikt
    Gastin, Paul
    INFORMATION AND COMPUTATION, 2018, 259 : 305 - 327
  • [4] An Automata-Theoretic Approach to Hardware/Software Co-verification
    Li, Juncao
    Xie, Fei
    Ball, Thomas
    Levin, Vladimir
    McGarvey, Con
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2010, 6013 : 248 - +
  • [5] VERIFICATION OF CONCURRENT PROGRAMS - THE AUTOMATA-THEORETIC FRAMEWORK
    VARDI, MY
    ANNALS OF PURE AND APPLIED LOGIC, 1991, 51 (1-2) : 79 - 98
  • [6] Verification by augmented abstraction: The automata-theoretic view
    Kesten, Y
    Pnueli, A
    Vardi, MY
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2001, 62 (04) : 668 - 690
  • [7] Automata-Theoretic Approach to Verification of MPLS Networks Under Link Failures
    van Duijn, Ingo
    Jensen, Peter Gjol
    Jensen, Jesper Stenbjerg
    Krogh, Troels Beck
    Madsen, Jonas Sand
    Schmid, Stefan
    Srba, Jiri
    Thorgersen, Marc Tom
    IEEE-ACM TRANSACTIONS ON NETWORKING, 2022, 30 (02) : 766 - 781
  • [8] An automata-theoretic approach to constraint LTL
    Demri, Stephane
    D'Souza, Deepak
    INFORMATION AND COMPUTATION, 2007, 205 (03) : 380 - 415
  • [9] AN AUTOMATA-THEORETIC APPROACH TO BEHAVIORAL EQUIVALENCE
    DEVADAS, S
    KEUTZER, K
    INTEGRATION-THE VLSI JOURNAL, 1991, 12 (02) : 109 - 129
  • [10] An Automata-Theoretic Approach to Regular XPath
    Calvanese, Diego
    De Giacomo, Giuseppe
    Lenzerini, Maurizio
    Vardi, Moshe Y.
    DATABASE PROGRAMMING LANGUAGES, 2009, 5708 : 18 - +
12345