research
∙
09/25/2020
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
Assurance cases are often required to certify critical systems. The use ...
research
∙
05/15/2019