Integrated Safety Analysis of Requirements Specifications.

Francesmary Modugno Nancy G. Leveson Jon Damon Reese Kurt Partridge Sean D. Sandys

Published in: RE (1997)

Keyphrases

safety analysis
nuclear power plant
safety critical
control system
symbolic model checking
fault model
decision making
real time
decision support system
formal verification
condition monitoring