6.S057: Verified Software Engineering
Fall 2026 · Course Staff · Mon & Wed 11am-12:30pm in 32-141
General Information · Academic Integrity
Classes & Readings
- Reading 0: Getting Started
- Reading 1/2: Specifications and Correctness
- Class 1: Intro to formal verification with Dafny
- Class 2: Defining and verifying methods part 1