CS 476

Fall 2014 Part of Term 1

Part of Term 1
Aug 25-Dec 10

Program Verification

Credit: 3 OR 4 hours.

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.

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

My Favorites

My Schedule

Section Status updates every 10 minutes.

CS 476 class schedule data for fall 2014
	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/25/14-12/10/14 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/25/14-12/10/14 Credit: 4 hours Restriction(s): Restricted to Graduate - Urbana-Champaign.