CS 476
Fall 2026 All Classes
All Classes
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.
Section Status updates every 10 minutes.
| Status | CRN | Type | Section | Time | Day | Location | Instructor | Section Details |
|---|