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.