Course Schedule and Catalog
Course Schedule - Spring Semester 2005
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 607 001 (CRN: 22443)
AUTOMATED PROGRAM VERIFICATION
Long Title:
Department: Computer Science
Meeting: 3:00PM - 4:15PM F (12-JAN-2005 - 29-APR-2005)
Part of Term: Full Term
Grade Mode: Satisfactory/Unsatisfactory
Course Type: Lecture
Method of Instruction: Face to Face
Credit Hours: 1
Course Syllabus:
Section Max Enrollment: 500
Section Enrolled: 3
Enrollment data as of: 15-MAY-2024 5:28PM
Description: AUTOMATED PROGRAM VERIFICATION
*****
Methods, tools and theories for the computer-aided verification of concurrent systems. Repeatable for Credit.