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.

== Getting started ==
Most everything you need to get started with the course is found in the ''course details'' menu on the left of the page.  The recommended starting point is the [[cs-686/Syllabus]] followed by the [[cs-686/Schedule]].