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
http://www.cs.utexas.edu/users/ragerdl/cs378/
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?
FAQ\RepresentationsAndTools.pdf
August 28 th – Overview of the Unified Approach
Presentations\Overview-F2008.pdf
September 2 and 4, 2008
Presentations\DesignForVerification-f2008.pdf
September 9 and 11, 2008
Presentations\PropertySpecification-f2008.pdf
September 16 and 18, 2008
Presentations\IntroductiontoModelsandAbstractions.pdf
Presentations\TestingLecture.pdf
Presentations\ModelBasedTesting.pdf
September 27, 2007 – Verification
Grand Challenge - Lecture by Professor Misra
http://www.cs.utexas.edu/users/misra/HCSS.pdf
Verification Grand Challenge
http://vstte.inf.ethz.ch/pdfs/vstte-hoare-misra.pdf
http://www.cs.utexas.edu/users/misra/VerifierFaq.doc