0.5×
0.75×
1×
1.25×
1.5×
1.75×
2×

01-01-Live1, Introduction to Formal Verification

CS-550 Formal Verification

https://tube.switch.ch/videos/oTm0zFBy0d

Start playback at current position

Silence audio initially

Start playback automatically
https://tube.switch.ch/videos/oTm0zFBy0d

Start playback at current position

Silence audio initially

Start playback automatically

Don’t show title
Download video

24 September 2021, Viktor Kuncak, 92 views

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

Viewable by everyone. All rights reserved.