COMP 607 003

COMP 607 003 (CRN: 22046)

Long Title: AUTOMATED PROGRAM VERIFICATION

Department: Computer Science

Instructor: Vardi, Moshe Y.

Meeting: 3:00PM - 4:29PM MF DCH 1046 (13-JAN-2020 - 24-APR-2020)

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: 10

Enrollment data as of: 5-JUN-2023 4:15PM

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.

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