COMP 607 901

COMP 607 901 (CRN: 21674)

Long Title: AUTOMATED PROGRAM VERIFICATION

Department: Computer Science

Instructor: Vardi, Moshe Y.

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: 9-JUN-2023 11:21PM

Additional Fees: None

Final Exam: No Final Exam

Description: Methods, tools and theories for the computer-aided verification of concurrent systems. Repeatable for Credit.

Course URL: http://www.cs.rice.edu/~vardi/comp607/