CS 476
CS 476 - Program Verification
Fall 2023
Title | Rubric | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
---|---|---|---|---|---|---|---|---|---|
Program Verification | CS476 | D3 | 35855 | LCD | 3 | 0930 - 1045 | T R | 101 Transportation Building | Jose Meseguer |
Program Verification | CS476 | D4 | 35852 | LCD | 3 | 0930 - 1045 | T R | 101 Transportation Building | Jose Meseguer |
See full schedule from Course Explorer
Official Description
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. Course Information: 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: CS 225; one of CS 374, ECE 374 or MATH 414.