Course Schedule - Spring Semester 2020

     

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 003 (CRN: 22046)

AUTOMATED PROGRAM VERIFICATION

Long Title: AUTOMATED PROGRAM VERIFICATION
Department: Computer Science
Instructor: Vardi, Moshe
Meeting: 3:00PM - 4:29PM MF (13-JAN-2020 - 24-APR-2020) 
Part of Term: Full Term
Grade Mode: Satisfactory/Unsatisfactory
Course Type: Seminar
Language of Instruction: Taught in English
Method of Instruction: Face to Face
Credit Hours: 1
Course Syllabus:
Course Materials: Rice Campus Store
 
Restrictions:
Must be enrolled in one of the following Level(s):
Graduate
Section Max Enrollment: 20
Section Enrolled: 10
Enrollment data as of: 22-JUN-2024 3:17PM
 
Additional Fees: None
 
Final Exam: GR Course-Dept Schedules Exam
 
Description: Methods, tools and theories for the computer-aided verification of concurrent systems. Repeatable for Credit.