3 papers
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…
cs.SE2025
A Taxonomy of Real-World Defeaters in Safety Assurance Cases
Usman Gohar, Michael C. Hunter, Myra B. Cohen +1
The rise of cyber-physical systems in safety-critical domains calls for robust risk-evaluation frameworks. Assurance cases, often required by regulatory bodies, are a structured ap…
cs.SE2024
CoDefeater: Using LLMs To Find Defeaters in Assurance Cases
Usman Gohar, Michael C. Hunter, Robyn R. Lutz +1
Constructing assurance cases is a widely used, and sometimes required, process toward demonstrating that safety-critical systems will operate safely in their planned environment. T…