IFM 2019: 15TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS
SLIDES

Dione: A protocol verification system built with Dafny for I/O Automata

Chiao Hsieh and Sayan Mitra

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

Yakoub Nemouchi, Simon Foster, Mario Gleirscher and Tim Kelly
Total: 2 presentations.