Experience Report on a Student-Organized AI Course
ITiCSE 2022, Dublin, Ireland and virtual
Teaching
Experience Report on a Student-Organized AI Course
As curricula are mostly centered around the specializations of faculty members, students are often seen purely as consumers of knowledge.
Increasing Student Self-Reliance and Engagement in Model-Checking Courses
Courses on formal methods focus on two aspects: teaching formalisms and exemplary applications as well as teaching techniques for implementing tools such as model checkers.
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering
This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study.
Inquiry- and Research-based Teaching in a Course on Model Checking
FMFun 2019, Bergen, Norway
Prototyping Games using Formal Methods
FMFun 2019, Bergen, Norway
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.
Prototyping Games Using Formal Methods
Courses on formal methods are often based on examples and case studies, supposed to show students how to apply formal methods in practice.
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 science.
Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation
During a course on model checking we developed BMoth, a full-stack model checker for classical B, featuring both explicit-state and symbolic model checking.