Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
Understanding: reframing automation and assurance
Robin Bloomfield
Safety and assurance cases risk becoming detached from the understanding needed for responsible engineering and governance decisions. More broadly, the production and evaluation of…
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.SE2025
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…