A Unified Approach to Verification and Validation of Software Systems

CS378 Fall 2008

Unique Number - 55785

 

J.C Browne and W. Hunt

browne@cs.utexas.edu

hunt@cs.utexas.edu

Teaching Assistant David Rager

ragerdl@cs.utexas.edu

http://www.cs.utexas.edu/users/ragerdl/cs378/

 

  1. Course Description

VandVCourse378F2008.pdf

 

  1. Overview Presentation

OverviewPresentation.pdf

 

  1. 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

 

  1. Lecture Notes

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

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

 

  1. References

Verification Grand Challenge

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

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