"Introduction to Model Checking"

Tim Nelson, Brown University

Thursday, February 22, 2018 at 12:00 Noon

Room 368 (CIT 3rd Floor)

Model checkers are formal tools that verify hardware and software systems. They have been used widely in industry for decades. This lecture provides a first introduction to model checkers, aimed at second-year undergraduates. Students will be introduced to the concept of verification and learn how an algorithm from their first year, depth-first search, forms the intellectual core of this powerful technique.

Tim Nelson is a Senior Research Associate at Brown University. He received his PhD in Computer Science from Worcester Polytechnic Institute. His research lies mainly in user-facing formal methods, particularly in applications such as networking and configuration management. He is the designer and instructor of Logic for Systems, a popular introductory formal methods course at Brown.

Host: Professor Philip Klein