Verification of Systems — Technique for verifying, validating and testing software and hardware systems. Topics covered will include modeling, abstraction methods, evaluation and certification, and computer-aided verification methods.
Prereqs: All of:
Taught by nobody this semester.