Hello, Could you add other resources (if they exist) linked to formal methods, such as podcast, youtube video, online training... Thank you