1. Home
  2. Science
  3. Mathematics
  4. PVS

Science · Mathematics

PVS

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About PVS

PVS- 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.

Tags

Meetings

Where it sits

Science Mathematics

More in Mathematics

See all →