YoVDO

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

Offered By: ACM SIGPLAN via YouTube

Tags

Programming Languages Courses Software Development Courses Software Engineering Courses Formal Methods Courses Formal Verification Courses Dafny Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

Related Courses

Teaching Logic and Set Theory with Dafny
ACM SIGPLAN via YouTube
CLOVER: Closed-Loop Verifiable Code Generation - Dafny'24
ACM SIGPLAN via YouTube
Verifying a Concurrent File System with Sequential Reasoning
ACM SIGPLAN via YouTube
Generating Conforming Programs with Xsmith
ACM SIGPLAN via YouTube
Domesticating Automation for Large-Scale Verification Systems - Dafny'24
ACM SIGPLAN via YouTube