Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cs-686:start [2014/09/02 16:54] (current)
egm created
Line 1: Line 1:
 +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/start.txt ยท Last modified: 2014/09/02 16:54 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