Defeater Cards: Characterizing and Managing Safety Assurance Case Defeaters

Usman Gohar, Michael C. Hunter, Salil Purandare +3

Safety assurance cases provide structured justifications that safety-critical systems meet their safety requirements. Recently, the notion of defeaters has emerged as a rigorous me…