"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