Advanced course covering various analysis techniques used in software engineering. This course will cover techniques for analyzing various software artifacts. Some of the topics that will be covered are: model checking, testing, program analysis, requirements analysis, and safety analysis. Prereq: CS 536 or consent of instructor. A basic knowledge of mathematical logic is also required.