BYU CS Logo
Computing That Serves

CS 786R

Course Offerings

Section # Semester Instructor Website Description
1 Fall 2005 Michael Jones http://vv.cs.byu.edu/cs786r/

Short Summary: 

Topics in Model Checking

Credits: 

3

Prerequisites: 

Topics in Model Checking


Focused readings and projects as suggested by class interest and current trends.