Do the words "formal verification" send shivers of concern down your spine? This talk will introduce the concept of automated formal verification, and explore how learning about automated formal verification provides a foundation for writing clean code that can be reasoned about. While formally verifying an entire code base is not needed for many projects, the principles behind formal verification apply to all projects and can improve your code. This talk specifically explores model checking and deductive reasoning techniques, demonstrates how we can reason "like a computer", and aims to enable better software design.
View Slides
Nick Waddoups is a computer engineer fascinated with language design, computer architecture, and formal methods. He learned C++ during his second semester of his undergraduate degree, and has lovingly struggled with it ever since. He is pursuing a master's degree in computer engineering at Utah State University, focusing on the areas of formal verification, model checking, and digital system verification.