Safety Verification of Ada95 Programs Using Software Fault Trees.

Sang-Yoon Min Yoon-Kyu Jan Sung Deok Cha Yong Rae Kwon Doo-Hwan Bae

Published in: SAFECOMP (1999)

Keyphrases

control flow
fault detection
safety analysis
decision trees
fault diagnosis
safety critical
information systems
model checking
nuclear power plant
fault model
control system
software development
formal methods
symbolic execution
normal operation
hardware designs