Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods.

Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly

Browse the full IFM paper archive.