Advertisement

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

  • Brijesh Dongol
  • Luigia Petre
  • Graeme Smith
Conference proceedings FMTea 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11758)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11758)

Table of contents

  1. Front Matter
    Pages i-xvi
  2. Tutorial Lectures

    1. Front Matter
      Pages 1-1
    2. Tony Hoare, Alexandra Mendes, João F. Ferreira
      Pages 3-20
  3. Teaching Program Verification

    1. Front Matter
      Pages 21-21
    2. Léo Creuse, Claire Dross, Christophe Garion, Jérôme Hugues, Joffrey Huguet
      Pages 23-36
  4. Teaching Program Development

    1. Front Matter
      Pages 67-67
    2. Catherine Dubois, Virgile Prevosto, Guillaume Burel
      Pages 69-80
    3. Ariane A. Almeida, Ana Cristina Rocha-Oliveira, Thiago M. Ferreira Ramos, Flávio L. C. de Moura, Mauricio Ayala-Rincón
      Pages 81-96
    4. María-del-Mar Gallardo, Laura Panizo
      Pages 97-110
  5. Effective Teaching Techniques

  6. Back Matter
    Pages 245-245

About these proceedings

Introduction

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.

Keywords

artificial intelligence data security education effective teaching techniques formal logic formal methods model checking program development program verification programming languages semantics software engineering software evaluation specifications teaching teaching for the 21st Century theorem proving university verification

Editors and affiliations

  1. 1.University of SurreyGuildfordUK
  2. 2.Åbo Akademi UniversityTurkuFinland
  3. 3.The University of QueenslandBrisbaneAustralia

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-32441-4
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-32440-7
  • Online ISBN 978-3-030-32441-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site