12 citations · 21 across the 6 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Quantifying Confidence in Assurance 2.0 Arguments
Robin Bloomfield, John Rushby
Confidence is central to safety and assurance cases: how much confidence a decision requires and how much the argument actually provides are both important questions. We present a…
cs.SE2024★ 12 cited
Confidence in Assurance 2.0 Cases
Robin Bloomfield, John Rushby
An assurance case should provide justifiable confidence in the truth of a claim about some critical property of a system or procedure, such as safety or security. We consider how c…