Course Schedule and Catalog
Course Schedule - Fall Semester 2008
Meeting location information can now be found on student schedules in ESTHER (for students) or on the Course Roster in ESTHER (for faculty and instructors).Additional information available here.
Meeting location information can now be found on student schedules in ESTHER (for students) or on the Course Roster in ESTHER (for faculty and instructors).Additional information available here.
COMP 407 001 (CRN: 14004)
ALGORITHMIC VERIFICATION
Long Title: ALGORITHMIC VERIFICATION
Department: Computer Science
Instructors:
Meeting: 9:25AM - 10:40AM TR (25-AUG-2008 - 5-DEC-2008)
Part of Term: Full Term
Grade Mode: Standard Letter
Course Type: Lecture
Method of Instruction: Face to Face
Credit Hours: 3
Course Syllabus:
Prerequisites: COMP 212 AND COMP 314
Section Max Enrollment: 20
Section Enrolled: 5
Enrollment data as of: 11-MAY-2024 5:35PM
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.