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
- Reading 3/4: Structuring Proofs
- Class 3: Defining and verifying methods part 2
- Class 4: Defining and verifying functions
- Reading 5/6: Inductive Data Types I
- Class 5: Inductive data types part 1
- Class 6: Inductive data types part 2
- Reading 7/8: Inductive Data Types II
- Class 7: Proving with functions part 1
- Class 8: Proving with functions part 2
- Reading 9/10: Convincing and Explaining
- Class 9: The logical operators and proofs part 1
- Class 10: The logical operators and proofs part 2