Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Description

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques. Front Matter ....Pages i-xvi Front Matter ....Pages 1-1 Logic, Algebra, and Geometry at the Foundation of Computer Science (Tony Hoare, Alexandra Mendes, João F. Ferreira)....Pages 3-20 Front Matter ....Pages 21-21 Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists (Léo Creuse, Claire Dross, Christophe Garion, Jérôme Hugues, Joffrey Huguet)....Pages 23-36 Using Krakatoa for Teaching Formal Verification of Java Programs (Jose Divasón, Ana Romero)....Pages 37-51 Teaching Deductive Verification in Why3 to Undergraduate Students (Sandrine Blazy)....Pages 52-66 Front Matter ....Pages 67-67 Teaching Formal Methods to Future Engineers (Catherine Dubois, Virgile Prevosto, Guillaume Burel)....Pages 69-80 The Computational Relevance of Formal Logic Through Formal Proofs (Ariane A. Almeida, Ana Cristina Rocha-Oliveira, Thiago M. Ferreira Ramos, Flávio L. C. de Moura, Mauricio Ayala-Rincón)....Pages 81-96 Teaching Formal Methods: From Software in the Small to Software in the Large (María-del-Mar Gallardo, Laura Panizo)....Pages 97-110 On Teaching Applied Formal Methods in Aerospace Engineering (Kristin Yvonne Rozier)....Pages 111-131 Front Matter ....Pages 133-133 Teaching Concurrency with the Disappearing Formal Method (Emil Sekerinski)....Pages 135-149 Teaching Discrete Mathematics to Computer Science Students (Faron Moller, Liam O’Reilly)....Pages 150-164 Principled and Pragmatic Specification of Programming Languages (Adrian Johnstone, Elizabeth Scott)....Pages 165-180 Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods (Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Thomas Wilke)....Pages 181-195 Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a Modelling-Focussed Approach (Andrew Simpson)....Pages 196-211 Teaching Formal Methods: Lessons Learnt from Using Event-B (Néstor Cataño)....Pages 212-227 You Already Used Formal Methods but Did Not Know It (Giampaolo Bella)....Pages 228-243 Back Matter ....Pages 245-245