Critical task of writing dependable software
JOHN C. KNIGHT, Bev Littlewood · IEEE Software · 1994
Safety-critical software must perform as desired and should never fail. The need for dependability stems from the fact that the consequences of failure are extremely high, usually a threat to human life. To write such systems, most now agree that we must adopt rigorous techniques, rooted in mathematics.>