CS 476

fall 2012

All Classes

Program Verification

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; CS 373 or MATH 414.

Status Icon Legend

: Section Status Closed
: Section Status Open
: Section Status Pending
: Section Status Open (Restricted)
: Section Status Unknown

Section Status updates every 10 minutes.

- CS 100
- CS 101
- CS 102
- CS 103
- CS 105
- CS 125
- CS 173
- CS 196
- CS 199
- CS 210
- CS 225
- CS 231
- CS 232
- CS 241
- CS 242
- CS 296
- CS 357
- CS 373
- CS 397
- CS 398
- CS 411
- CS 412
- CS 413
- CS 418
- CS 420
- CS 421
- CS 422
- CS 423
- CS 424
- CS 425
- CS 426
- CS 427
- CS 431
- CS 433
- CS 438
- CS 440
- CS 446
- CS 450
- CS 461
- CS 465
- CS 473
- CS 476
- CS 481
- CS 483
- CS 491
- CS 492
- CS 498
- CS 499
- CS 523
- CS 538
- CS 541
- CS 556
- CS 563
- CS 571
- CS 573
- CS 579
- CS 584
- CS 591
- CS 597
- CS 598
- CS 599

Detail	Status		CRN	Type	Section	Time	Day	Location	Instructor