CS 476

Fall 2006 Part of Term 1

Part of Term 1
Aug 23-Dec 8

Program Verification

Credit: 3 OR 4 hours.

Examines formal methods for demonstrating correctness and other properties of programs; includes an overview of predicate calculus. Topics include: invariant assertions, Hoare axiomatics, well-founded orderings for proving termination, structural induction, computational induction, data structures, and parallel programs.

3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: CS 225; CS 273 or MATH 414.

My Favorites

My Schedule

Section Status updates every 10 minutes.

CS 476 class schedule data for fall 2006
	CRN	Type	Section	Time	Day	Location	Instructor	Section Details
	35855	Lecture-Discussion	D3	9:30AM -10:45AM	TR	Siebel Center for Comp Sci	Meseguer, J	Part of Term: 1 Date Range: 08/23/06-12/08/06 Credit: 3 hours
	35852	Lecture-Discussion	D4	9:30AM -10:45AM	TR	Siebel Center for Comp Sci	Meseguer, J	Part of Term: 1 Date Range: 08/23/06-12/08/06 Credit: 4 hours Restriction(s): Restricted to Graduate - Urbana-Champaign.