Formal Methods for Software Engineering: A Semester in Review
As another semester comes to a close, it’s time to reflect on the journey through the Formal Methods for Software Engineering course. This semester, we embraced change, introducing new teaching methods and tools to enhance the learning experience. One notable addition was the integration of GitHub Classroom for assignments, a decision that brought about unexpected insights and learning experiences. GitHub Classroom and Automated Feedback One notable shift this semester was the adoption of GitHub Classroom for assignments....