Fall 2008

pdf

View schedules for



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
CRNTypeSectionTimeDays 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