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 条
  • [1] Modeling, specification, and verification of automaton programs
    Kuzmin, E. V.
    Sokolov, V. A.
    PROGRAMMING AND COMPUTER SOFTWARE, 2008, 34 (01) : 27 - 43
  • [2] Application of the trace assertion method to the specification, design, and verification of automaton programs
    E. V. Kuzmin
    V. A. Sokolov
    D. Ju. Chalyy
    Programming and Computer Software, 2009, 35 : 43 - 55
  • [3] Application of the trace assertion method to the specification, design, and verification of automaton programs
    Kuzmin, E. V.
    Sokolov, V. A.
    Chalyy, D. Ju.
    PROGRAMMING AND COMPUTER SOFTWARE, 2009, 35 (01) : 43 - 55
  • [4] Integrating Specification and Programs for System Modeling and Verification
    Sun, Jun
    Liu, Yang
    Dong, Jin Song
    Chen, Chunqing
    THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 127 - 135
  • [5] Specification and verification of GPGPU programs
    Blom, Stefan
    Huisman, Marieke
    Mihelcic, Matej
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 95 : 376 - 388
  • [6] Method for the specification and verification of distributed systems by a timed automaton
    Yamane, Satoshi
    Systems and Computers in Japan, 1997, 28 (02) : 11 - 20
  • [7] Certifiable Specification and Verification of C Programs
    Lueth, Christoph
    Walter, Dennis
    FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 419 - 434
  • [8] Modeling an Autonomous Vehicle Group Control System as a Hybrid Automaton and its Specification and Verification in Rewriting Logic
    Wang, Yifan
    Nakamura, Masaki
    Sakakibara, Kazutoshi
    2021 36TH INTERNATIONAL TECHNICAL CONFERENCE ON CIRCUITS/SYSTEMS, COMPUTERS AND COMMUNICATIONS (ITC-CSCC), 2021,
  • [9] Verification of Synchronous-Automaton Programs with the Use of LTL
    Kubasov, S. V.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2010, 44 (07) : 374 - 377
  • [10] Gobra: Modular Specification and Verification of Go Programs
    Wolf, Felix A.
    Arquint, Linard
    Clochard, Martin
    Oortwijn, Wytse
    Pereira, Joao C.
    Muller, Peter
    COMPUTER AIDED VERIFICATION (CAV 2021), PT I, 2021, 12759 : 367 - 379
12345