Course Number: CMPT 473 (cross-listed with 773)
Credit Hours: 3 Vector: 3-0-0
Course Description:
The goal of formal verification is to prove correctness or to find mistakes in software and other systems. This course introduces, at an accessible level, a formal framework for symbolic model checking, one of the most important verification methods. The techniques are illustrated with examples of verification of reactive systems and communication protocols. Students learn to work with a model checking tool such as NuSMV.
Prerequisite: CMPT 275
Recommended: None
Corequisite: None
Special Instructions: None
Course(s) dropped if if this course is approved: None