Prerequisites: CS 111, CS 141, CS 150, or equivalents or consent of instructor
Description: A study of advanced techniques to specify and examine the cor- rectness of complex systems and software. Focuses on concurrent and distributed behavior, formal description languages, temporal logics, model check- ing and symbolic model checking, partial order reduc- tion, and the use of verification tools. May be taken Satisfactory (S) or No Credit (NC) by students advanced to candidacy for the Ph.D.