Towards Making Safety Case Arguments Explicit, Precise, and Well Founded

The introductionCassano, ValentínMaibaum, Thomas S.E.Grigorova, S. of safety cases into the practice of safety assurance has revolutionized safety engineering. Via a ‘safety argument’, a safety case aims to explicate, and to provide some structure for, the kind of reasoning involved in demonstrating that a system is safe. To date, there are several notations for writing down safety arguments. These notations suffer from not having a …