Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games

More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme

“…Finally, as formal methods' industrial use has increased, so has their relevance to education [15,17,30,10]; Zhumagambetov [50] offers a relatively recent systematic literature review. Aceto and Ingolfsdottir [1], for example, have described a recent course at the University of Reykjavik, where students can participate in a three week intensive formal methods course at first year.…”

“…Yatapanage [49] describes a recent second year course taught at De Montfort University that applied formal methods to concurrent programming -although the paper's title highlights most students' concerns when approaching this topic "Students Who Hate Maths and Struggle with Programming". Kamburjan and Gratz [30] showed how a custom interactive proof tool can generate a positive effect on student engagement; Körner and Krings [32] describe how pedagogical changes to inquiry-based learning can support the user of formal tools. In some ways closest to the approach we present here, Ettinger describes how Dafny has been used for six years at Ben-Gurion University to support teaching refinement-style "correct-byconstruction" programming [16], and Blazy describes a similar course based on Why3 [7].…”