Prerequisites: CS 111/MATH 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, for- mal description languages, temporal logics, model checking and symbolic model checking, partial order reduction, and the use of verification tools. May be taken Satisfactory (S) or No Credit (NC) by students advanced to candidacy for the Ph.D.