A Unified Approach to Verification and Validation of Software Systems

CS378 – Fall 2007

Unique Number - 56725

J.C Browne

browne@cs.utexas.edu

1. Course Description

VandVCourse378F2007.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 30^th – Overview of the Unified Approach

Presentations\Overview-F2007.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. References

Verification Grand Challenge

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

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