Verification of a microcomputer program specification embedded in a reactive system

被引：0
|
作者：
Osaka Univ., Toyonaka-shi, Japan [1 ]
不详 [2 ]
不详 [3 ]
机构：
来源：
IEICE Transactions on Information and Systems | 2000年 / E83-D卷 / 05期
关键词：
Compositional verification - Microcomputer program specification - Model checking - Reachability graph - Reactive system;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1082 / 1091
相关论文
共 50 条
  • [1] Verification of a microcomputer program specification embedded in a reactive system
    Ishihara, Y
    Ninomiya, K
    Seki, H
    Takahara, D
    Yamada, Y
    Omoto, S
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2000, E83D (05): : 1082 - 1091
  • [2] Formal specification and verification of embedded system with shared resources
    Bang, KS
    Choi, JY
    Jang, SH
    15TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2004, : 8 - 14
  • [3] Formal Verification of GP Specification based Embedded Operating System
    Sun, Haiyong
    Lei, Hang
    Qiao, Lei
    Yang, Zheng
    PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND APPLICATION ENGINEERING (CSAE2018), 2018,
  • [4] Specification and verification of reactive system behaviour: The railroad crossing example
    Armstrong, J
    Barroca, L
    REAL-TIME SYSTEMS, 1996, 10 (02) : 143 - 178
  • [5] Program synthesis for stepwise satisfiable specification of reactive system
    Yoshiura, N
    Yonezaki, N
    INTERNATIONAL SYMPOSIUM ON PRINCIPLES OF SOFTWARE EVOLUTION, PROCEEDINGS, 2000, : 58 - 67
  • [6] AN EXPRESSIVE SPECIFICATION FOR PROGRAM VERIFICATION
    Chin, Wei-Ngan
    KEPT 2011: KNOWLEDGE ENGINEERING PRINCIPLES AND TECHNIQUES, 2011, : 30 - 30
  • [7] A toolset for the specification and verification of embedded systems
    Rebaiaia, ML
    Benmohamed, M
    Jaam, JM
    Hasnah, A
    PDPTA'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-4, 2003, : 1539 - 1545
  • [8] Embedded systems: Challenges in specification and verification
    Pnueli, A
    EMBEDDED SOFTWARE, PROCEEDINGS, 2002, 2491 : 1 - 14
  • [9] Embedded system design specification: Merging reactive control and data computation
    Antoniotti, M
    Ferrari, A
    Lavagno, L
    Sangiovanni-Vincentelli, A
    Sentovich, E
    PROCEEDINGS OF THE 40TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2001, : 3302 - 3307
  • [10] A graphical environment for the specification and verification of reactive systems
    Bhattacharjee, AK
    Dhodapkar, SD
    Seshia, S
    Shyamasundar, RK
    COMPUTER SAFETY, RELIABILITY AND SECURITY, 1999, 1698 : 431 - 444
12345