Skip navigation
Brigham Young University
Login
Computer Science

Computer Science

CS 786R Topics in Model Checking

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

Credits:3
Prerequisites: CS 686

Alert: There are no offerings of this course for Fall 2009
View offerings for   Current Semester   All Semesters

Projected Future Offerings
2010 2011 2012 2013
Win Spr Sum Fall Win Spr Sum Fall Win Spr Sum Fall Win Spr Sum Fall
Not offered Not offered Not offered Not offered Not offered Not offered Not offered Not offered Not offered Not offered Not offered Not offered Not offered Not offered Not offered Not offered
Note: Course websites may not be maintained for previous semesters.
Offerings from the past year
Semester Instructor Website

eStore