Course Schedule and Catalog
Course Catalog - 2003-2004
COMP 607 - AUTOMATED PROGRAM VERIFICATION
Long Title:
Department: Computer Science
Grade Mode: Standard Letter
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.