Modeling, specification, and verification of automaton programs

被引：0
|
作者：
E. V. Kuzmin
V. A. Sokolov
机构：
[1] Demidov State University,
来源：
Programming and Computer Software | 2008年 / 34卷
关键词：
Output Action; Kripke Structure; Input Event; Deadlock State; Temporal Logic Formula;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：27 / 43
页数：16
相关论文
共 50 条
  • [41] SDN-Actors: Modeling and Verification of SDN Programs
    Albert, Elvira
    Gomez-Zamalloa, Miguel
    Rubio, Albert
    Sammartino, Matteo
    Silva, Alexandra
    FORMAL METHODS, 2018, 10951 : 550 - 567
  • [42] Automaton semigroup models of programs
    Podlovchenko, R. I.
    PROGRAMMING AND COMPUTER SOFTWARE, 2006, 32 (06) : 301 - 307
  • [43] Automaton semigroup models of programs
    R. I. Podlovchenko
    Programming and Computer Software, 2006, 32 : 301 - 307
  • [44] A PROTOCOL MODELING AND VERIFICATION APPROACH BASED ON A SPECIFICATION LANGUAGE AND PETRI NETS
    SUZUKI, T
    SHATZ, SM
    MURATA, T
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (05) : 523 - 536
  • [45] A FORMAL APPROACH ON SPECIFICATION MODELING TO SUPPORT INDUSTRIAL PLC PROGRAM VERIFICATION
    De, Soumen
    Sethuraman, Nagarajan
    Yuan, Chengyin
    IMECE 2008: PROCEEDINGS OF THE ASME INTERNATIONAL MECHANICAL ENGINEERING CONGRESS AND EXPOSITION, VOL 7: EMERGING TECHNOLOGIES RECENT ADVANCES IN ENGINEERING, 2009, : 59 - 67
  • [46] MULTI-DIMENSIONAL MODELING Formal Specification and Verification of the Hierarchy Concept
    Salem, Ali
    Ghozzi, Faiza
    Ben-Abdallah, Hanene
    ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL DISI: DATABASES AND INFORMATION SYSTEMS INTEGRATION, 2008, : 317 - +
  • [47] A REVIEW OF SPECIFICATION AND VERIFICATION METHODS FOR PARALLEL PROGRAMS, INCLUDING THE DATA-FLOW APPROACH
    DESHPANDE, AK
    KAVI, KM
    PROCEEDINGS OF THE IEEE, 1989, 77 (12) : 1816 - 1828
  • [48] Modeling and Verification of Timed Automaton Based Hybrid Systems Using Spin Model Checker
    Kumar, Suresh N.
    Kumar, G. Santhosh
    2016 IEEE ANNUAL INDIA CONFERENCE (INDICON), 2016,
  • [49] VLSI SPECIFICATION AND VERIFICATION
    ANTOLA, A
    MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 403 - 403
  • [50] Security specification and verification
    Fenkam, P
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 434 - 434
12345