CS 476

Fall 2024 All Classes

All Classes

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; one of CS 374, ECE 374 or MATH 414.

My Favorites

My Schedule

Section Status updates every 10 minutes.

CS 476 class schedule data for fall 2024
	CRN	Type	Section	Time	Day	Location	Instructor	Section Details
	35855	Lecture-Discussion	D3	9:30AM -10:45AM	TR	101 Transportation Building	Meseguer, J	Part of Term: 1 Date Range: 08/26/24-12/11/24 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.
	35852	Lecture-Discussion	D4	9:30AM -10:45AM	TR	101 Transportation Building	Meseguer, J	Part of Term: 1 Date Range: 08/26/24-12/11/24 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 Computer Science or Bioinformatics major(s). Restricted to Graduate - Urbana-Champaign. Not intended for First Time Freshman students.