BYU CS Logo
Computing That Serves

CS 686

Course Offerings

Section # Semester Instructor Website Description
1 Fall 2017 Eric Mercer https://wiki.cs.byu.edu/cs-686/start
Section # Semester Instructor Website Description
1 Fall 2017 Eric Mercer https://wiki.cs.byu.edu/cs-686/start
1 Winter 2017 Eric Mercer https://wiki.cs.byu.edu/cs-686/start
1 Winter 2016 Eric Mercer http://wiki.cs.byu.edu/cs-686/start
1 Fall 2014 Eric Mercer http://wiki.cs.byu.edu/cs-686 Software verification and model checking.
1 Fall 2013 Eric Mercer https://facwiki.cs.byu.edu/cs686/index.php/Main_Page
1 Fall 2012 Eric Mercer http://learningsuite.byu.edu
1 Fall 2007 Eric Mercer
1 Winter 2006 Michael Jones http://vv.cs.byu.edu/cs686/

Short Summary: 

Advanced Model Checking

Credits: 

3

Prerequisites: 

Advanced Model Checking

Techniques for managing state explosion and specialized algorithms for verifying classes of infinite state systems.