4 citations · 8 across the 5 of their papers we have counts for
1 paper · 1 filter
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…