COMPSCI706: Analysis of Software Artifacts (001)

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.