CS 476

Spring 2005 Part of Term 1

Part of Term 1
Jan 18-May 4

Program Verification

Credit: 3 OR 4 hours.

(C S 376) 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 spring 2005
	CRN	Type	Section	Time	Day	Location	Instructor	Section Details
	39586	Lecture-Discussion	D3	9:30AM -10:45AM	TR	Siebel Center for Comp Sci	Meseguer, J	Part of Term: 1 Date Range: 01/18/05-05/04/05 Credit: 3 hours
	39587	Lecture-Discussion	D4	9:30AM -10:45AM	TR	Siebel Center for Comp Sci	Meseguer, J	Part of Term: 1 Date Range: 01/18/05-05/04/05 Credit: 4 hours Restriction(s): Restricted to Graduate - Urbana-Champaign.