Publication | Closed Access

A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems

Safety-critical SystemReliability EngineeringEngineeringSoftware System SafetyProgram AnalysisSoftware TestingNuclear SafetyFault AnalysisFormal MethodsComputer EngineeringSoftware EngineeringSystems EngineeringReactor SafetyFormal Requirement SpecificationsSoftware Requirement SpecificationSoftware AnalysisSoftware DesignFormal Verification