SRI International Computer Science Laboratory

The PVS Specification and Verification System

 PVS Suggestions

If you have suggestions on how we can improve PVS, we would like to hear from you. Please send suggestions to

Click here for the complete list of suggestions

This list summarizes the suggestions for enhancements that have been received since PVS version 2.2 was announced in September 1998. Most of these were originally sent to Click on the suggestion number for details. The state is one of:

open: The suggestion has been filed
analyzed: We have analyzed the implications of the suggestion, and have made comments
feedback: The suggestion has been implemented, and is being tested
closed: The changes have been integrated in the latest release
suspended: Implementation of the suggestion has been suspended

Note: this makes use of the GNATS bug tracking system available at

Can't open database directory /csl/mail/gnats/pvs-suggest