FMTea

Keyphrases

Publications

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

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

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)