Science » Math » Logic and Foundations » Software	UPDATE INFO | REPORT BROKEN LINK
PVS	Popularity:    Hit: 890

Details:

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. URL: http://pvs.csl.sri.com/ Title: PVS Specification and Verification System Image: Description: Science, Math, Logic and Foundations, Software - PVS. The PVS Specification and Verification System. Similar:

Related Sites

DC Proof Online (Popularity: ): New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules ... LWB (Popularity: ): Logics Workbench.

Popular Sites

DC Proof Online (Popularity: ): New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules ... PVS (Popularity: ): The PVS Specification and Verification System. Available for Sparc machines with Solaris 2 and Intel x86 Machines with Linux compatible ...