AtomSeek the directory or science  

Math: Logic and Foundations: Software: PVS
  Home: Math: Logic and Foundations: Software:
Submitted: Sat Sep 06 2003
Title:

Math: Logic and Foundations: Software: PVS


URL: http://pvs.csl.sri.com/

 

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.
Detailed Traffic Statistic From Alexa
Detailed Traffic Statistic From Alexa

 
  Previous      Next

  HOME | ADD A LINK | MODIFY A LINK | LOGIN


Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people


© atomseek.com
Webmaster - miroweb.com