Towards a compositional semantics for quantitative confidence assessment in assurance arguments

Benjamin Herd, Jessica Kelly, Jan Sabsch +1

Assurance arguments provide a clear and structured way to explain why stakeholders should trust that a system satisfies certain properties, yet widely used notations, e.g.Goal Stru…