|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 email@example.com.
|Last modified: Tue Jun 22 15:10:33 PDT 1999||[ PVS Home Page]|