2021
CSC - Trunov - Formal Program Verification Introduction
    https://www.youtube.com/playlist?list=PLyZ1pMP2ZKOwMIkPgIT2iGiaDMYhpStqj