Inquiry- and Research-based Teaching in a Course on Model Checking


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.

In Pre-Proceedings 1st International Workshop Formal Methods - Fun for Everybody
Sebastian Krings
Sebastian Krings
Software Engineer

My interests include software analysis, formal methods and offensive security.