A Unified Approach to Verification and Validation of Software Systems
CS395T – Fall 2007
Unique Number - 56857
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 30th – Overview of the Unified Approach
September 4 and 6, 2007
Verification Grand Challenge