COMP 607 - AUTOMATED PROGRAM VERIFICATION
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.