Course Schedule and Catalog
Course Catalog - 2004-2005
COMP 607 - AUTOMATED PROGRAM VERIFICATION
Long Title:
Department: Computer Science
Grade Mode: Satisfactory/Unsatisfactory
Course Type: Lecture
Credit Hours: 1
Description: AUTOMATED PROGRAM VERIFICATION
*****
Methods, tools and theories for the computer-aided verification of concurrent systems. Repeatable for Credit.