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期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

C (programming language) - Mapping - Trees (mathematics)

引用

页码：1180 / 1187

共 50 条

[21] SOME VERIFICATION TOOLS AND METHODS FOR AIRBORNE SAFETY-CRITICAL SOFTWARE
HELPS, KA
SOFTWARE ENGINEERING JOURNAL, 1986, 1 (06): : 248 - 253
[22] A Compositional Verification Method for AADL Models of Safety-Critical Software
Zhang B.-L.
Yang Z.-B.
Zhou Y.
Ma Y.-Y.
Huang Z.-Q.
Xue L.
Jisuanji Xuebao/Chinese Journal of Computers, 2020, 43 (11): : 2134 - 2151
[23] Advances in modeling, verification and testing of safety-critical software architectures
Abderrahim Ait Wakrime
Yassine Ouhammou
Innovations in Systems and Software Engineering, 2022, 18 : 483 - 484
[24] Safety-critical software
1600, IEEE Computer Society (30):
[25] Safety-Critical Software
Merino, Pedro
Schoitsch, Erwin
ERCIM NEWS, 2008, (75): : 12 - 13
[26] SAFETY-CRITICAL SOFTWARE
PANCUCCI, D
ENGINEERING, 1991, 231 (08): : 45 - 47
[27] Advances in modeling, verification and testing of safety-critical software architectures
Ait Wakrime, Abderrahim
Ouhammou, Yassine
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2022, 18 (04) : 483 - 484
[28] Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System
Oortwijn, Wytse
Huisman, Marieke
INTEGRATED FORMAL METHODS, IFM 2019, 2019, 11918 : 418 - 436
[29] A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip
Grimm, Tomas
Lettnin, Djones
Huebner, Michael
ELECTRONICS, 2018, 7 (06)
[30] The formal modelling and verification of safety critical ATP software design
Yan, F
Tang, T
Safety and Security Engineering, 2005, 82 : 577 - 585