Teaching Formal Methods in Academia: A Systematic Literature Review

Rustam Zhumagambetov

Abstract: The amount of literature on teaching formal methods has been growing. However, there is a lack of attempts to systematically review existing practices. This study attempts to identify challenges related to teaching formal methods by examining the literature on this topic. The literature review categorizes and systematizes the existing experience of teaching formal methods to students at universities. It presents obstacles reported as well as the strategies to deal with them that are expected to help current practitioners.