01:13:53duration 1 hour 13 minutes
Safety verification 3.1: Live lecture
Verifying invariance properties; introduction to…