CS 476
Program Verification

Credit: 3 or 4 hours.

Examines 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; an overview of predicate calculus. 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: CS 225; CS 373 or MATH 414.

Section Information
CRN	Type	Section	Time	Days	Location	Instructor
35855	lecture- discussion	D3	03:30 PM - 04:45 PM	TR	room 1304 Siebel Center for Comp Sci	Meseguer, J
3 hours
35852	lecture- discussion	D4	03:30 PM - 04:45 PM	TR	room 1304 Siebel Center for Comp Sci	Meseguer, J
4 hours

View schedules for

CS 476Program Verification

CS 476
Program Verification