PVS
Edit Page
Report
Scan day: 09 February 2014 UTC
16
Virus safety - good
Description: The PVS Specification and Verification System. Available for Sparc machines with Solaris 2 and Intel x86 Machines with Linux compatible with Redhat 5 or later. Required is Emacs (version 19 or later), recommended LaTeX and Tcl/Tk. Download by FTP.
PVS Specification and Verification System PVS Specification and Verification System PVS 6.0 is now available - see the PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. It is intended to capture the state-of-the-art in mechanized formal methods and to be sufficiently rugged that it can be used for significant applications. PVS is a research prototype: it evolves and improves as we develop or apply new capabilities, and as the stress of real use exposes new requirements.
Size: 540 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | PVS Specification and Verification System |
| Keywords: | |
| Description: | |
| IP-address: | 130.107.1.243 |
WHOIS Info
| NS | Name Server: NS.SRI.COM Name Server: NS1.SRI.COM |
| WHOIS | Status: clientTransferProhibited |
| Date | Creation Date: 17-jan-1986 Expiration Date: 18-jan-2015 |