EasyChair Smart SlideDocs/Log in
Conference: iFM 2019 (15th International Conference on integrated Formal Methods)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Learning to reuse: Adaptive model learning for evolving systems

Learning to reuse: Adaptive model learning for evolving systems

Carlos Diego Damasceno, Mohammadreza Mousavi and Adenilso Simao

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

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

Yakoub Nemouchi, Simon Foster, Mario Gleirscher and Tim Kelly

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

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

Chiao Hsieh and Sayan Mitra

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair