Week 8: Specifications & Program Verification
Overview
Lecturer
Session Information
- Date and Time:
- Place:
- Online Meeting Link
- Session Recording
Core Concepts
Slides
Week 8 Slides: Download PDF
Readings
Exercises & Extra Steps
Navigation
- ← Previous Week: Inductive Predicates & Rule Induction
- Back to Course Overview
- Next Week: Structures, Typeclasses & Formalizing Mathematics →
Questions? Reach out on the course Zulip!