Mechanised Assurance Cases with Integrated Formal Methods in Isabelle
Supporting Materials
Authors:
Yakoub Nemouchi, Simon Foster, Mario Gleirscher, and Tim Kelly (University of York)
Isabelle/SACM:
Isabelle Implementation
Tokeneer in Isabelle/UTP:
Isabelle Generated Report
Tokeneer Theories:
Isabelle/UTP Tokeneer on GitHub
Isabelle/UTP Website
OMG SACM 2.0 Standard Document