IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Teaching Dafny to First Year Students"

by Markus Roggenbach

Sat, 14 June 2025 at 04:00 pm in Glasgow, Scotland

Abstract: For meanwhile two years, I have been teaching a unit on Dafny and the WP calculus in my first year module on Tools and Techniques for Software Engineering. In this talk I will discuss my teaching approach, show sample slides and lab exercises, and discuss the outcome.

Paper