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, … Continue reading Computing Correctness