Prerequisites: CS 111, CS 141, CS 150, or equivalents or consent of instructor
Description: A study of advanced techniques to specify and examine the correctness of complex systems and software. Focuses on concurrent and distributed behavior, formal description languages, temporal logics, model checking and symbolic model checking, partial order reduction, and the use of verification tools.
Credit: May be taken Satisfactory (S) or No Credit (NC) with consent of instructor and graduate advisor.