Here are some presentations relating to the subject of Formal Methods. You can read more about this topic on Wikipedia or see more topics.
