28 citations · 28 across the 1 of their papers we have counts for
2 papers
cs.SE2020★ 28 cited
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
Simon Foster, Yakoub Nemouchi, Mario Gleirscher +2
Assurance cases are often required to certify critical systems. The use of formal methods in assurance can improve automation, increase confidence, and overcome errant reasoning. H…
cs.SE2019
Model Based System Assurance Using the Structured Assurance Case Metamodel
Ran Wei, Tim P. Kelly, Xiaotian Dai +2
Assurance cases are used to demonstrate confidence in system properties of interest (e.g. safety and/or security). A number of system assurance approaches are adopted by industries…