Inquiry- and Research-based Teaching in a 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.