Navigate Up
Sign In

Course Info

SE 533: Software Validation and Verification

Techniques, methods and tools for software inspection and testing. Theory and applications of formal verification of programs. Techniques and tools for automated analysis of programs. PREREQUISITE(S): SE 450.

Fall 2008-2009

Section: 701
Class number: 11779
Meeting time: W 5:45PM - 9:00PM
Location: CDM 00222 at Loop Campus
Section: 710
Class number: 11780
Meeting time: -
Location: N/A at Online Campus

Fall 2006-2007

Section: 701
Class number: 12084
Meeting time: M 5:45PM - 9:00PM
Location: LEWIS 01508 at Loop Campus
Section: 710
Class number: 13356
Meeting time: -
Location: N/A at Online Campus

Winter 2003-2004

Section: 801
Class number: 22175
Meeting time: Tu 5:45PM - 9:00PM
Location: CDM 00228 at Loop Campus
Instructor: Yakov Keselman

Spring 2002-2003

Section: 301
Class number: 35418
Meeting time: Tu 5:45PM - 9:00PM
Location: LEWIS 01209 at Loop Campus
Instructor: Yakov Keselman