Teaching Formal Methods:A Systematic Survey

Formal methods is an important branch of software engineering that is difficult to teach well. Effective teaching must therefore be informated by the latest pedagogical research. In this article, we perform a systematic survey of formal methods teaching literature over the past 10 years. We consider the curriculum, teaching techniques, software tools, and past course experience. We draw a number of lessons to be learned, that will inform our pedagogical approach for teaching formal methods in the second and third year computer science programme.