Assurance Case Development for Evolving Software Product Lines: A Formal Approach

Logan Murphy, Torin Viger, Alessio Di Sandro +2

In critical software engineering, structured assurance cases (ACs) are used to demonstrate how key system properties are supported by evidence (e.g., test results, proofs). Creatin…