activity
20242026
most citedCoDefeater: Using LLMs To Find Defeaters in Assurance Cases

1 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.SE2026

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…