摘要: Abstract Safety has often been equated with reliability and robustness. However, safety needs to be treated as a separate important system quality. In this paper, software is distinguished from these other qualities formally defined. The paper also examines the possibility of using three different verification approaches — state machines, temporal logic, fault trees verify safety.