Course Schedule and Catalog

Long Title: AUTOMATED PROGRAM VERIFICATION

Department: Computer Science

Grade Mode: Satisfactory/Unsatisfactory

Course Type: Lecture

Credit Hours: 1

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