Gentoo Portage Overlays - sci-mathematics/pvs

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/pvs

PVS - a theorem prover for formal specification and verification

Screenshots

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

pvs-5.0

amd64

View

Download

Browse License: as-is

Overlay: buzden (layman)

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs