Course Schedule and Catalog
Course Catalog - 2013-2014
COMP 407 - ALGORITHMIC VERIFICATION
Long Title: ALGORITHMIC VERIFICATION
Department: Computer Science
Grade Mode: Standard Letter
Course Type: Lecture
Credit Hours: 3
Prerequisite(s): COMP 211 AND COMP 314
Description: An introduction of the fundamental techniques of algorithmic verification, including temporal logics, enumerative and symbolic model checking, and dealing with the state-explosion problem.