PROMELA based formal verification for safety-critical software

被引：0
|
作者：
Xing, Liang [1 ]
Ding, Chengjun [2 ]
Du, Hupeng [2 ]
Ma, Chunyan [2 ]
机构：
[1] Aeronautic Computing Technology Research Institute, Xi'an,710076, China
[2] School of Software, Northwestern Polytechnical University, Xi'an,710072, China
来源：
Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University | 2022年 / 40卷 / 05期
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
C (programming language) - Mapping - Trees (mathematics)
引用
收藏
页码：1180 / 1187
相关论文
共 50 条
  • [1] Formal Modeling and Verification of Safety-Critical Software
    Yoo, Junbeom
    Jee, Eunkyoung
    Cha, Sungdeok
    [J]. IEEE SOFTWARE, 2009, 26 (03) : 42 - 49
  • [2] Integrated formal verification of safety-critical software
    Ge, Ning
    Jenn, Eric
    Breton, Nicolas
    Fonteneau, Yoann
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 423 - 440
  • [3] Integrated formal verification of safety-critical software
    Ning Ge
    Eric Jenn
    Nicolas Breton
    Yoann Fonteneau
    [J]. International Journal on Software Tools for Technology Transfer, 2018, 20 : 423 - 440
  • [4] Research on Formal Verification Technique for Aircraft Safety-Critical Software
    Yin, Yongfeng
    Liu, Bin
    Su, Duo
    [J]. JOURNAL OF COMPUTERS, 2010, 5 (08) : 1152 - 1159
  • [5] Verification of Safety-Critical Software
    Andersen, B. Scott
    Romanski, George
    [J]. COMMUNICATIONS OF THE ACM, 2011, 54 (10) : 52 - 57
  • [6] FORMAL VERIFICATION OF SAFETY-CRITICAL SYSTEMS
    MOSER, LE
    MELLIARSMITH, PM
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (08): : 799 - 821
  • [7] On the formal development of safety-critical software
    Galloway, Andy
    Iwu, Frantz
    McDermid, John
    Toyn, Ian
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 362 - 373
  • [8] Interactive Verification of Safety-Critical Software
    da Cruz, Daniela
    Henriques, Pedro Rangel
    Pinto, Jorge Sousa
    [J]. 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 519 - 528
  • [9] Verification of requirements for safety-critical software
    Carpenter, PB
    [J]. ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE (SIGADA'99) - PROCEEDINGS, 1999, 19 (03): : 23 - 29
  • [10] Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems
    Perez, Jon
    Flores, Jose Luis
    Blum, Christian
    Cerquides, Jesus
    Abuin, Alex
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2022, 18 (01) : 620 - 630
12345