Welcome to the CS 686 Advanced Model Checking Wiki. The topic if the course is software verification using model checking. The course will look at recent advances in software verification with an emphasis on practical application using newly developed tools. If you have ever wondered what tools exist for active testing, automatic test generation, data-race detection, deadlock detection, or that reason over large input domains, etc., then this course is for you. It looks at recent advances in software verification with an emphasis on existing tools.