A Unified Approach to Verification and Validation of Software Systems

CS395T – Fall 2008

Unique Number - 55925

J.C Browne and W. Hunt

browne@cs.utexas.edu

hunt@cs.utexas.edu

1. Course Description

VandVCourse395TF2008.pdf

1. Overview Presentation

OverviewPresentation.pdf

2. Frequently Asked Questions

a. Why is a unified approach to verification and validation important?

FAQ\ImportanceOfUVV.pdf

b. Why take this class?

FAQ\WhyTakeThisClass.pdf

c. What is the work for the class and how will grades be computed?

FAQ\WorkAndGrades.pdf

d. What are the prerequisites and how important are they?

FAQ\Prerequisites.pdf

e. What is required for the class project?

FAQ\ProjectSpecifications.pdf

f. What are the steps in a methodology for designing for verifiability?

FAQ\DesignMethodology.pdf

g. What software will be used in the course?

FAQ\RepresentationsAndTools.pdf

3. Lecture Notes

August 28 ^th – Overview of the Unified Approach

Presentations\Overview-F2008.pdf

September 4 and 6, 2007

Presentations\IntroductiontoModelsandAbstractions.pdf

September 11, 2007

Presentations\DesignForVerification-2pp.pdf

September 13, 2007

Presentations\PropertySpecification.pdf

September 18, 2007

Presentations\Property Specifications - Lecture 2.pdf

September 20, 2007

Presentations\TestingLecture.pdf

September 25, 2007

Presentations\ModelBasedTesting.pdf

September 27, 2007 – Verification Grand Challenge - Lecture by Professor Misra

http://www.cs.utexas.edu/users/misra/HCSS.pdf

4. Papers, Programs, etc.

Readers and Writers Example

5. References

Verification Grand Challenge

http://vstte.inf.ethz.ch/pdfs/vstte-hoare-misra.pdf

http://www.cs.utexas.edu/users/misra/VerifierFaq.doc