SMT-streamlined Software Model Checking (Prof. Natasha Sharygina), part 4
Why it's on BrighterTube
Advanced · Editorial review · 85% confidenceNew channel Summer School on Formal Techniques 2021: title sample judged 'whole' (All uploads are full academic lecture and lab tutorial recordings from a formal methods summer school, taught by domain ); passed a second screen for sellers/exam-prep/re-uploads; 1 of 3 sampled transcripts showed teaching, 0 not; every title checked strictly; oEmbed verified.
What you'll learn
A 20-minute video from Summer School on Formal Techniques 2021: “SMT-streamlined Software Model Checking (Prof. Natasha Sharygina), part 4”.
Video by Summer School on Formal Techniques 2021, played through YouTube's embedded player.