Introduction to Formal Verification

01-01-Live1, CS-550 Formal Verification

Live recording of lecture 01 of Formal Verification EPFL course, as given on 2021-09-23 from 15:15-16:45.