A Unified Approach to Verification and Validation of Software Systems
CS378 – Fall 2008
Unique Number - 55785
J.C Browne and W. Hunt
Teaching Assistant – David Rager
a. Why is a unified approach to verification and validation important?
b. Why take this class?
c. What is the work for the class and how will grades be computed?
d. What are the prerequisites and how important are they?
e. What is required for the class project?
f. What are the steps in a methodology for designing for verifiability?
g. What software will be used in the course?
August 28 th – Overview of the Unified Approach
September 2 and 4, 2008
September 9 and 11, 2008
September 16 and 18, 2008
September 27, 2007 – Verification Grand Challenge - Lecture by Professor Misra
Verification Grand Challenge