Foundations of Semantics and Model Checking in a Software Engineering Course
Henning Bordihn, Anna-Lena Lamprecht, Tiziana Margaria · 2015
Formal methods provide systematic and rigorous techniques for software development and we believe that they should be part of academic software engineering education. In this paper, we describe how we included a selection of formal methods in a foundational Bachelor- level Software Engineering course. We show how we introduce the basic elements of modeling and programming language semantics, and discuss how we address the theory and practice of model checking within the scope of the two semesters of the course.