Course Schedule and Catalog
Course Catalog - 2015-2016
COMP 607 - AUTOMATED PROGRAM VERIFICATION
Long Title: AUTOMATED PROGRAM VERIFICATION
Department: Computer Science
Grade Mode: Satisfactory/Unsatisfactory
Language of Instruction: Taught in English
Course Type: Lecture
Credit Hours: 3
Restrictions:
Must be enrolled in one of the following Level(s):
Graduate
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/