Mechanised Assurance Cases with Integrated Formal Methods in Isabelle

Supporting Materials

Authors: Yakoub Nemouchi, Simon Foster, Mario Gleirscher, and Tim Kelly (University of York)