Defeater Cards introduce a new 5W1H-structured documentation method for systematically characterizing defeaters in safety assurance cases, supported by an open repository and demonstrated in cross-domain case studies.
Defeaters and eliminative argumentation in Assurance 2.0,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Defeater Cards: Characterizing and Managing Safety Assurance Case Defeaters
Defeater Cards introduce a new 5W1H-structured documentation method for systematically characterizing defeaters in safety assurance cases, supported by an open repository and demonstrated in cross-domain case studies.