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 条
  • [41] Integration of informal and formal development of object-oriented safety-critical software
    Bubel R.
    Hähnle R.
    International Journal on Software Tools for Technology Transfer, 2005, 7 (3) : 197 - 211
  • [42] Formal Verification of Safety PLC Based Control Software
    Darvas, Daniel
    Majzik, Istvan
    Vinuela, Enrique Blanco
    INTEGRATED FORMAL METHODS (IFM 2016), 2016, 9681 : 508 - 522
  • [43] Software tools for safety-critical software development
    Alan Wassyng
    Mark Lawford
    International Journal on Software Tools for Technology Transfer, 2006, 8 (4-5) : 337 - 354
  • [44] Improving Software Quality in Safety-Critical Applications by Model-Driven Verification
    Henriksson, Anders
    Assman, Uwe
    Hunt, James
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 133 : 101 - 117
  • [45] ICARUS - Incremental Design and Verification of Software Updates in Safety-Critical Product Lines
    Guissouma, Houssem
    Schindewolf, Marc
    Sax, Eric
    2021 47TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2021), 2021, : 371 - 378
  • [46] The quantitative safety assessment for safety-critical software
    Yu, YY
    Johnson, BW
    29th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2005, : 150 - 159
  • [47] Formal verification and validation of a movement control actor relocation algorithm for safety-critical applications
    Imran, Muhammad
    Zafar, Nazir Ahmad
    Alnuem, Mohammed Abdullah
    Aksoy, Mehmet Sabih
    Vasilakos, Athanasios V.
    WIRELESS NETWORKS, 2016, 22 (01) : 247 - 265
  • [48] A Framework for Software Safety in Safety-Critical Systems
    Medikonda, Ben Swarup
    Panchumarthy, Seetha Ramaiah
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
  • [49] Hierarchical safety analysis and formal verification for safety-critical systems using STAMP and Event-B
    Niu, Chuanjun (ncj0826@gmail.com), 2025, 184
  • [50] Testing and verification of neural-network-based safety-critical control software: A systematic literature review
    Zhang, Jin
    Li, Jingyue
    INFORMATION AND SOFTWARE TECHNOLOGY, 2020, 123
12345