Evaluation of software safety
Nancy G. Leveson · International Conference on Software Engineering · 1990
The features of both probabilistic and nonprobabilistic approaches are considered. Particular emphasis is placed on an approach in which safety verification and analysis are backed up by using software safety design techniques that protect against hazardous states that might result from undetected software faults, including those stemming from flaws in the software requirements specification. >