CS 476

Spring 2019 Part of Term 1

Part of Term 1
Jan 14-May 1

Program Verification

SHOW FINAL EXAM SCHEDULE

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 374 or MATH 414.

My Favorites

My Schedule

Section Status updates every 10 minutes.

CS 476 class schedule data for spring 2019
	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/14/19-05/01/19 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/14/19-05/01/19 Credit: 4 hours Restriction(s): Restricted to Graduate - Urbana-Champaign.