Python Thread Validator Tutorial
This document is intended to augment the information in the Python Thread Validator Help file. If you have not read the help file we encourage you to do so. Python Thread Validator is a powerful and complex product, reading the help manual will help you use Python Thread Validator more efficiently.
Example Application
The example application is ptvExample.py in the ptvExample folder in the installation folder.
The following tutorials are available. More tutorials will be made available in response to customer feedback.
- Getting started.
- User Interface Mode.
- How to interpret the Python Thread Validator displays.
- Analysing an application.
- Good Lock Strategy.
- Deadlock using 2 threads.
Feedback
If you would like a tutorial on how to use Python 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.