IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Reflections about Teaching with Dafny"

by Dirk Pattinson

Sat, 14 June 2025 at 02:45 pm in Glasgow, Scotland

Abstract: In the context of a curriculum restructure, we have been asked to add tool support, specifically Dafny, to our first year introductory foundations course. We have reviewed this extensively, and I will report on our findings.