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 Syllabus followed by the Schedule.

cs-686.txt · Last modified: 2014/09/02 11:33 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0