If you're having problems using PVS, first try checking the Frequently Asked Questions (FAQ) and then the system manuals. Next, you can try searching the PVS Help archive, or posting a new message to the PVS Help Mailing List, where a body of experienced users can offer help.

The lists of previously reported bugs and suggestions are here:


Reporting Bugs

If you have a problem with PVS that you believe may be due to a bug, there are several steps you can take that will enable us to solve your problem.

Note: we recognize that most users are quite busy and just trying to get their work done, so if you do not have time to go through these steps, just send a quick note describing the bug, along with the specification file(s) that are involved. We will ask for more information if we need it.

Another note: If you are not sure whether you have a bug, report it anyway. If it is due to a misunderstanding, then it means there is a problem in the documentation, and that is still a bug.

If you want to make our job easier, follow the following steps:

Note that our bug tracking system is moderated. When you submit a bug the mail message is used to create a problem report under human control. If the specification (or any other information) you are including is confidential or proprietary, we can remove it before entering the problem into the public part our bug tracking database. Just include your request in the beginning of your bug report, or send two separate messages, one to add to the database, and one that includes details of the bug that you would rather not advertise.