Learn 'em Dafny - Incorporating Verification Tools in Software Engineering Education
Offered By: ACM SIGPLAN via YouTube
Course Description
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
Related Courses
SPARK 2014AdaCore via Independent Automated Reasoning: Symbolic Model Checking
EIT Digital via Coursera Software Testing and Verification
University System of Maryland via edX Haskell for Imperative Programmers
YouTube Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube