Login / Signup
FMTea
2019
2023
2019
2023
Keyphrases
Publications
2023
Somsak Vanit-Anunchai
Teaching Low-Code Formal Methods with Coloured Petri Nets.
FMTea
(2023)
Erika Ábrahám
,
Jasper Nalbach
,
Valentin Promies
Automated Exercise Generation for Satisfiability Checking.
FMTea
(2023)
Géraldine Brieven
,
Simon Liénardy
,
Lev Malcev
,
Benoit Donnet
Graphical Loop Invariant Based Programming.
FMTea
(2023)
Felix Freiberger
Model Checking Concurrent Programs for Autograding in pseuCo Book.
FMTea
(2023)
Nicolas Féral
,
Alain Giorgetti
A Gentle Introduction to Verification of Parameterized Reactive Systems.
FMTea
(2023)
Markus A. Kuppe
Teaching TLA+ to Engineers at Microsoft.
FMTea
(2023)
Thierry Lecomte
Teaching and Training in Formalisation with B.
FMTea
(2023)
volume 13962, 2023
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
FMTea
13962 (2023)
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
FMTea
13962 (2023)
2022
Markus A. Kuppe
Teaching TLA+ to Engineers at Microsoft.
FMTea
(2022)
Felix Freiberger
Model Checking Concurrent Programs for Autograding in pseuCo Book.
FMTea
(2022)
Géraldine Brieven
,
Simon Liénardy
,
Lev Malcev
,
Benoit Donnet
Graphical Loop Invariant Based Programming.
FMTea
(2022)
Somsak Vanit-Anunchai
Teaching Low-Code Formal Methods with Coloured Petri Nets.
FMTea
(2022)
Nicolas Féral
,
Alain Giorgetti
A Gentle Introduction to Verification of Parameterized Reactive Systems.
FMTea
(2022)
Erika Ábrahám
,
Jasper Nalbach
,
Valentin Promies
Automated Exercise Generation for Satisfiability Checking.
FMTea
(2022)
Thierry Lecomte
Teaching and Training in Formalisation with B.
FMTea
(2022)
2021
Matthias Güdemann
Online Teaching of Verification of C Programs in Applied Computer Science.
FMTea
(2021)
Jørgen Villadsen
,
Frederik Krogsdal Jacobsen
Using Isabelle in Two Courses on Logic and Automated Reasoning.
FMTea
(2021)
Livia Lestingi
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper).
FMTea
(2021)
Nisansala Yatapanage
Introducing Formal Methods to Students Who Hate Maths and Struggle with Programming.
FMTea
(2021)
Ran Ettinger
Lessons of Formal Program Design in Dafny.
FMTea
(2021)
Eduard Kamburjan
,
Lukas Grätz
Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games.
FMTea
(2021)
Norbert Hundeshagen
,
Martin Lange
A Proposal for a Framework to Accompany Formal Methods Learning Tools - (Short Paper).
FMTea
(2021)
Luca Aceto
,
Anna Ingólfsdóttir
Introducing Formal Methods to First-Year Students in Three Intensive Weeks.
FMTea
(2021)
Philipp Körner
,
Sebastian Krings
Increasing Student Self-Reliance and Engagement in Model-Checking Courses.
FMTea
(2021)
Tobias Runge
,
Tabea Bordis
,
Thomas Thüm
,
Ina Schaefer
Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience.
FMTea
(2021)
volume 13122, 2021
Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
FMTea
13122 (2021)
2019
María-del-Mar Gallardo
,
Laura Panizo
Teaching Formal Methods: From Software in the Small to Software in the Large.
FMTea
(2019)
Pamela Fleischmann
,
Mitja Kulczynski
,
Dirk Nowotka
,
Thomas Wilke
Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods.
FMTea
(2019)
Tony Hoare
,
Alexandra Mendes
,
João F. Ferreira
Logic, Algebra, and Geometry at the Foundation of Computer Science.
FMTea
(2019)
Giampaolo Bella
You Already Used Formal Methods but Did Not Know It.
FMTea
(2019)
Faron Moller
,
Liam O'Reilly
Teaching Discrete Mathematics to Computer Science Students.
FMTea
(2019)
Sandrine Blazy
Teaching Deductive Verification in Why3 to Undergraduate Students.
FMTea
(2019)
Kristin Yvonne Rozier
On Teaching Applied Formal Methods in Aerospace Engineering.
FMTea
(2019)
Ariane Alves Almeida
,
Ana Cristina Rocha Oliveira
,
Thiago Mendonça Ferreira Ramos
,
Flávio L. C. de Moura
,
Mauricio Ayala-Rincón
The Computational Relevance of Formal Logic Through Formal Proofs.
FMTea
(2019)
Andrew Simpson
Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a Modelling-Focussed Approach.
FMTea
(2019)
Léo Creuse
,
Claire Dross
,
Christophe Garion
,
Jérôme Hugues
,
Joffrey Huguet
Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists.
FMTea
(2019)
Emil Sekerinski
Teaching Concurrency with the Disappearing Formal Method.
FMTea
(2019)
Jose Divasón
,
Ana Romero
Using Krakatoa for Teaching Formal Verification of Java Programs.
FMTea
(2019)
Catherine Dubois
,
Virgile Prevosto
,
Guillaume Burel
Teaching Formal Methods to Future Engineers.
FMTea
(2019)
Néstor Cataño
Teaching Formal Methods: Lessons Learnt from Using Event-B.
FMTea
(2019)
Adrian Johnstone
,
Elizabeth Scott
Principled and Pragmatic Specification of Programming Languages.
FMTea
(2019)
volume 11758, 2019
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
FMTea
11758 (2019)