CS 476

Spring 2021 Part of Term 1

Part of Term 1
Jan 25-May 5

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 2021
	CRN	Type	Section	Time	Day	Location	Instructor	Section Details
	39586	Online	D3	9:30AM -10:45AM	TR	n.a.	Meseguer, J	Part of Term: 1 Date Range: 01/25/21-05/05/21 Credit: 3 hours Section Info: For up-to-date information about CS course restrictions, please see the following link: http://go.cs.illinois.edu/CSregister Restriction(s): Restricted to Undergrad - Urbana-Champaign.
	39587	Online	D4	9:30AM -10:45AM	TR	n.a.	Meseguer, J	Part of Term: 1 Date Range: 01/25/21-05/05/21 Credit: 4 hours Section Info: For up-to-date information about CS course restrictions, please see the following link: http://go.cs.illinois.edu/CSregister Restriction(s): Restricted to Graduate - Urbana-Champaign. Not intended for MCS:Computer Sci Online -UIUC, MCS:Computer Sci Online -UIUC, or NDEG:Computer Science Onl-UIUC. Not intended for First Time Freshman students.