Skip to main content
SpringerLink
Log in

Formal Methods – Fun for Everybody

First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Antonio Cerone

    1. Nazarbayev University, Nur-Sultan, Kazakhstan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Markus Roggenbach

    1. Swansea University, Swansea, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Communications in Computer and Information Science (CCIS, volume 1301)

Included in the following conference series:

Conference proceedings info: FMFun 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper —

    • Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen et al.
    Pages 1-26

  3. Axiom Based Testing for Fun and Pedagogy

    • Magne Haveraaen
    Pages 27-57

  4. Teaching Formal Methods for Fun Using Maude

    • Peter Csaba Ölveczky
    Pages 58-91

  5. Fun with Formal Methods for Better Education

    • Nikolay V. Shilov, Evgeniy Muravev, Svetlana Shilova
    Pages 92-105

  6. Adapting to Different Types of Target Audience in Teaching Formal Methods

    • Antonio Cerone, Karl Reiner Lermer
    Pages 106-123

  7. Prototyping Games Using Formal Methods

    • Sebastian Krings, Philipp Körner
    Pages 124-142

  8. Teaching Model Checking via Games and Puzzles

    • Bernd-Holger Schlingloff
    Pages 143-158

  9. Cybersecurity Education and Formal Methods

    • James H. Davenport, Tom Crick
    Pages 159-172

  10. Teaching Them Early: Formal Methods in School

    • Faron Moller, Liam O’Reilly, Stewart Powell, Casey Denner
    Pages 173-190

  11. From Stories to Concurrency: How Children Can Play with Formal Methods

    • Antonio Cerone
    Pages 191-207

  12. When the Student Becomes the Teacher

    • Marie Farrell, Hao Wu
    Pages 208-217

  13. Teaching Formal Methods in Academia: A Systematic Literature Review

    • Rustam Zhumagambetov
    Pages 218-226

  14. Back Matter

    Pages 227-227
    Download chapter PDF
Back to top

Other volumes

  1. Formal Methods – Fun for Everybody

Keywords

About this book

This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods – Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.

The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected from 15 submissions. A white paper and two keynote papers are also included. The papers explore ways of utilizing the pathway to transforming and spreading formal methods. The vision of this workshop series is that formal methods ought to be taught in such a way that every student can have fun with it.

Editors and Affiliations

  • Nazarbayev University, Nur-Sultan, Kazakhstan

    Antonio Cerone

  • Swansea University, Swansea, UK

    Markus Roggenbach

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation