Please visit the following playlists on Youtube to get complete course on formal methods: Formal methods lecture slides: Formal methods class presentations: