Confidence in Assurance 20 Cases
<|reference_start|>Confidence in Assurance 20 Cases: 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 confidence can be assessed in the rigorous approach we call Assurance 2.0.   Our goal is indefeasible confidence and we approach it from four different perspectives: logical soundness, probabilistic assessment, dialectical examination, and residual risks.<|reference_end|>
@article{bloomfield2024confidence,
    title={Confidence in Assurance 2.0 Cases},
    author={Robin Bloomfield and John Rushby},
    journal={Expanded version of a paper from "The Practice of Formal Methods:
  Essays in Honour of Cliff Jones", Part I. Springer LNCS 14780, pp. 1--23,
  Sep. 2024},
    year={2024},
    doi={10.1007/978-3-031-66676-6_1},
    archivePrefix={arXiv},
    eprint={2409.10665},
    primaryClass={cs.SE}
}