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.
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
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
Section:
801
Class number:
22175
Meeting time:
Tu
5:45PM
-
9:00PM
Location:
CDM 00228
at
Loop Campus
Instructor:
Yakov Keselman
Section:
301
Class number:
35418
Meeting time:
Tu
5:45PM
-
9:00PM
Location:
LEWIS 01209
at
Loop Campus
Instructor:
Yakov Keselman