Model checking-based safety verification for railway signal safety protocol-I

被引：3
|
作者：
School of Electronics and Information Engineering, Tongji University, No. 4800 Cao'an Highway, Shanghai, China [1 ]
机构：
[1] Meng, Mei
[2] Zhongwei, Xu
[3] Xi, Wang
[4] Yongbing, Wan
来源：
Meng, M. (mei_meng@163.com) | 1600年 / Inderscience Enterprises Ltd., 29, route de Pre-Bois, Case Postale 856, CH-1215 Geneva 15, CH-1215, Switzerland卷 / 46期
关键词：
Model checking;
D O I：
10.1504/IJCAT.2013.052795
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Model Checking of Safety Properties
    Orna Kupferman
    Moshe Y. Vardi
    Formal Methods in System Design, 2001, 19 : 291 - 314
  • [32] Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking
    Zhang, Xiaozhen
    Yang, Zhaoming
    Kong, Hui
    Kong, Weiqiang
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2023, 33 (06) : 885 - 932
  • [33] COMBINATION OF COMPOSITIONAL VERIFICATION AND MODEL CHECKING FOR SAFETY ASSESSMENT OF COMPLEX ENGINEERED SYSTEMS
    Mehrpouyan, Hoda
    Giannakopoulou, Dimitra
    Tumer, Irem Y.
    Hoyle, Chris
    Brat, Guillaume
    PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2014, VOL 1B, 2014,
  • [34] Model Checking-Based Performance Prediction for P4
    Lukacs, Daniel
    Pongracz, Gergely
    Tejfel, Mate
    ELECTRONICS, 2022, 11 (14)
  • [35] Model checking-based genetic programming with an application to mutual exclusion
    Katz, Cal
    Peled, Doren
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008, 4963 : 141 - 156
  • [36] System safety assessment based on STPA and model checking
    Dakwat, Alheri Longji
    Villani, Emilia
    SAFETY SCIENCE, 2018, 109 : 130 - 143
  • [37] Model-Based Verification of Safety Contracts
    Gomez-Martinez, Elena
    Rodriguez, Ricardo J.
    Etxeberria Elorza, Leire
    Illarramendi Rezabal, Miren
    Benac Earle, Clara
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2014, 2015, 8938 : 101 - 115
  • [38] Research on Cache Coherence Protocol Verification Method Based on Model Checking
    Zhao, Yiqiang
    Shi, Boning
    Zhang, Qizhi
    Yuan, Yidong
    He, Jiaji
    ELECTRONICS, 2023, 12 (16)
  • [39] Parallel Stimulus Generation Based on Model Checking for Coherence Protocol Verification
    Zhao, Kang
    Shen, Wenbo
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2015, 23 (12) : 3124 - 3128
  • [40] Checking and Enforcing Safety: Runtime Verification and Runtime Reflection
    Leucker, Martin
    ERCIM NEWS, 2008, (75): : 35 - 36
12345