Course Schedule and Catalog
Course Schedule - Spring Semester 2022
COMP 607 901 (CRN: 21674)
AUTOMATED PROGRAM VERIFICATION
Long Title: AUTOMATED PROGRAM VERIFICATION
Department: Computer Science
Instructor: Vardi, Moshe
Meeting: 2:00PM - 3:15PM WF FULLY ONLINE (10-JAN-2022 - 22-APR-2022)
Session: Full Term
Grade Mode: Satisfactory/Unsatisfactory
Course Type: Seminar
Language of Instruction: Taught in English
Method of Instruction: Online
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: 5
Enrollment data as of: 8-DEC-2023 6:33AM
Final Exam: No Final Exam
Description: Methods, tools and theories for the computer-aided verification of concurrent systems. Repeatable for Credit.