Title: Understanding Formal Methods