Open AccessA Safety Analysis Method for Model Checking Based on Multiple Faults Injection
Author(s) -
Xi Wang,
Hui Li,
Cheng Ouyang
Publication year - 2019
Publication title -
journal of physics. conference series
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.21
H-Index - 85
eISSN - 1742-6596
pISSN - 1742-6588
DOI - 10.1088/1742-6596/1176/2/022040
Subject(s) - fault tree analysis , computer science , model checking , system safety , formal methods , reliability engineering , life critical system , process (computing) , fault injection , computation tree logic , formal verification , set (abstract data type) , algorithm , engineering , software engineering , software , programming language