FM4SE
FM4SE
FM Playground
Lecture
News
Light
Dark
Automatic
Lecture
Introducing GitHub Classroom into a Formal Methods Module
We have developed an MSc-level module on Formal Methods for Software Engineering with exercises on applying SAT solvers, SMT solvers, …
Soaibuzzaman
,
Jan Oliver Ringert
Sep 9, 2024
PDF
Code
FM4SE Winter Semester 2023/24 Videos
For the second time, we have taught the module Formal Methods for Software Engineering (FM4SE) at Bauhaus-University Weimar. This time, we have recorded the lectures and uploaded them to YouTube.
Jul 1, 2024
