Course Link pop-ups require javascript, but without, links simply open target page as expected
Header Photo

CSC 612 Program Verification (5125) (3 credits)

Symbolic logic and mechanized deduction; program specification; loop invariants; the proof methods of Floyd and Hoare; parallel computations; program semantics.

Prerequisite: CSC 551 Design and Analysis of Algorithms.