Lecture
Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.
Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.
This lecture introduces the formal verification course by the instructor, who is a postdoc at Lara and has a background in formal verification. The instructor also mentions working on the stainless verification tool developed at Lara and encourages students to enjoy writing proofs during the semester.