COMP 607: AUTOMATED PROGRAM VERIFICATION

Spring 2024 · Section 001 · CRN 21288

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