Model-based Safety Analysis for an Aviation Software Specification.

Hu Jun Chen Shuo Defeng Chen Jiexiang Kang Wang Hui

Published in: Int. J. Perform. Eng. (2020)

Keyphrases

safety analysis
safety critical
control system
nuclear power plant
formal methods
symbolic model checking
fault model
software development
model checking
specification language
software systems
embedded systems
formal verification
real time
source code
formal specification