Thread Validator Tutorial

This document is intended to augment the information in the Thread Validator Help file. If you have
not read the help file we encourage you to do so. Thread Validator is a powerful and complex product,
reading the help manual will help you use Thread Validator more efficiently.

Example Application

The example application is tvExample.exe in the tvExample folder in the installation folder.

The following tutorials are available. More tutorials will be made available in response to customer feedback.

Feedback

If you would like a tutorial on how to use Thread Validator to perform a given task, we will be happy to
provide a tutorial, just let us know what topics you need the tutorial to cover. Send your suggestions to
support@softwareverify.com.