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 条
  • [21] SPECIFICATION AND VERIFICATION OF CONCURRENT PROGRAMS BY ALL-AUTOMATA
    MANNA, Z
    PNUELI, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 398 : 124 - 164
  • [22] Construction and Verification of PLC LD Programs by the LTL Specification
    Kuzmin, E. V.
    Sokolov, V. A.
    Ryabukhin, D. A.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2014, 48 (07) : 424 - 436
  • [23] SPECIFICATION AND VERIFICATION OF CONCURRENT PROGRAMS BY ALL-AUTOMATA
    MANNA, Z
    PNUELI, A
    TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 124 - 164
  • [24] MODULAR SPECIFICATION AND VERIFICATION OF OBJECT-ORIENTED PROGRAMS
    LEAVENS, GT
    IEEE SOFTWARE, 1991, 8 (04) : 72 - 80
  • [25] SPECIFICATION AND VERIFICATION OF TEMPORAL RELATIONSHIPS IN TRANSACTION MODELING
    NGU, AHH
    INFORMATION SYSTEMS, 1990, 15 (02) : 257 - 267
  • [26] Specification and verification challenges for sequential object-oriented programs
    Leavens, Gary T.
    Leino, K. Rustan M.
    Mueller, Peter
    FORMAL ASPECTS OF COMPUTING, 2007, 19 (02) : 159 - 189
  • [27] Construction and Verification of PLC-Programs by LTL-Specification
    Kuzmin, E. V.
    Sokolov, V. A.
    Ryabukhin, D. A.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2015, 49 (07) : 453 - 465
  • [28] Specification and Verification Techniques of Object Oriented Programs using Invariants
    Zafar, Beenish
    Hassan, Zara
    Nasir, Mobashirah
    Naheed, Sidrah
    Abid, Beenish
    Fatima, Umbreen
    Awan, Rimsha
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2019, 19 (08): : 39 - 50
  • [29] Modeling and verification of CPS based on uncertain hybrid timed automaton
    Chen, Na
    Geng, Shengling
    Li, Lin
    2021 IEEE INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, INTL CONF ON CLOUD AND BIG DATA COMPUTING, INTL CONF ON CYBER SCIENCE AND TECHNOLOGY CONGRESS DASC/PICOM/CBDCOM/CYBERSCITECH 2021, 2021, : 971 - 978
  • [30] Modeling, Specification and Construction of PLC-Programs
    Kuzmin, E. V.
    Sokolov, V. A.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2014, 48 (07) : 554 - 563
12345