Publication | Closed Access

A novel probabilistic approach to counterfactual reasoning in system safety

Safety-critical SystemEngineeringSoftware System SafetyAutomated ReasoningProgram AnalysisProbabilistic SystemVerificationProbabilistic ReasoningFormal MethodsSoftware AnalysisSystems EngineeringProbabilistic VerificationComputer ScienceFormal Verification