BYU CS Logo
Computing That Serves

CS 486

Course Offerings

Section # Semester Instructor Website Description
1 Fall 2017 Eric Mercer https://wiki.cs.byu.edu/cs-486/start
Section # Semester Instructor Website Description
1 Fall 2017 Eric Mercer https://wiki.cs.byu.edu/cs-486/start
1 Winter 2017 Eric Mercer https://wiki.cs.byu.edu/cs-486/start
1 Winter 2016 Eric Mercer http://wiki.cs.byu.edu/cs-486/start
1 Fall 2014 Eric Mercer http://wiki.cs.byu.edu/cs-486 Model checking basics.

Short Summary: 

Verification & Validation

Credits: 

3

Prerequisites: