Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Learn 'em Dafny - Incorporating Verification Tools in Software Engineering Education

ACM SIGPLAN via YouTube

Overview

Explore the integration of Dafny, a verification tool, into software engineering education in this 19-minute conference talk from ACM SIGPLAN. Discover how Dafny can be incorporated into a programming-first software correctness course, addressing the challenges of teaching formal methods to graduate software engineering students. Examine the potential of verification tools in tackling the essential complexity of software development, focusing on building correct systems rather than navigating language-specific quirks. Gain insights into the speaker's reflections on Dafny's design features and proposed improvements to reduce accidental complexity, potentially enhancing students' focus on the fundamental aspects of verification.

Syllabus

[Dafny'24] Learn 'em Dafny

Taught by

ACM SIGPLAN

Reviews

Start your review of Learn 'em Dafny - Incorporating Verification Tools in Software Engineering Education

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.