CS 476 D3 - Program Verification
Formal methods for demonstrating correctness and other properties of programs. Invariant assertions; Hoare axiomatics; well-founded orderings for proving termination; structural induction; computational induction; data structures; parallel programs; overview of predicate calculus. Course Information: 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: CS 225; CS 374 or MATH 414.
For up-to-date information about CS course restrictions, please see the following link: http://go.cs.illinois.edu/CSregister
Option 1Number of Required Visit(s): 0
Course Level: Graduate