PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases

Logan Murphy, Torin Viger, Alessio Di Sandro +1

In critical software engineering, structured assurance cases (ACs) are used to demonstrate how key properties (e.g., safety, security) are supported by evidence artifacts (e.g., te…