Course Schedule - Spring Semester 2019

     

COMP 607 003 (CRN: 24326)

AUTOMATED PROGRAM VERIFICATION

Long Title: AUTOMATED PROGRAM VERIFICATION
Department: Computer Science
Instructor: Vardi, Moshe Y.
Meeting: 3:00PM - 4:30PM MF DCH 1046 (7-JAN-2019 - 19-APR-2019) 
Session: 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: 9
Enrollment data as of: 27-OCT-2021 5:03AM
 
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.