Experience Report on An Inquiry-Based Course on Model Checking

Abstract

In this presentation, we discuss a recent publication on our course on model checking. The course has been shifted from a classical lecture-based format to inquiry and research-based teaching. In the article to be presented, we documented course development, presented some didactic methods used and evaluated the course based on peer review and student feedback. Furthermore, we tried to assert student engagement empirically.

Publication
In Pre-Proceedings 1st International Workshop Formal Methods - Fun for Everybody
Avatar
Sebastian Krings
Postdoc

My research interests include formal methods, model checking and logic programming.

Related