SRI International Computer Science Laboratory

The PVS Specification and Verification System

 PVS 2.3 Experimental Features

PVS 2.3 contains several features which are currently considered to be experimental. That is, they code is stable enough for release but it is anticipated that with user feedback the interfaces and functionality of these features will change before their inclusion in PVS 3.0.

Users are encouraged to use these features and provide feedback, bug reports and wish lists to us at

Last modified: Tue Jun 22 15:10:33 PDT 1999 [ PVS Home Page]