UI Wordmark

CS 476 D3 - Program Verification

Campus: Urbana-Champaign


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.

Special Instructions:

For up-to-date information about CS course restrictions, please see the following link: http://go.cs.illinois.edu/CSregister

Option 1

Number of Required Visit(s): 0

Course Level: Graduate

Credit: 3

Term(s): Spring


Bachelor's Degree

Master's Degree

Doctoral Degree


Continuing Education

Search Programs

Search Courses


Contact Us

University of Illinois Online
Phone: (866) 633-8465 - Join Us  Facebook
© Copyright 2015 - University of Illinois

Cookie Settings