Teaching Formal Methods

Formal methods are tought through a variety of courses. How can modern forms of teaching, such as flipped classrooms or on-demand-teaching, be used to improve formal methods education?

This projects documents my efforts in course design and university teaching.

Avatar
Sebastian Krings
Postdoc

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

Publications

Experience Report on An Inquiry-Based Course on Model Checking

The development and improvement of model checkers for the validation of hard- and software is an ongoing research topic in computer …