./devel/pvs, The PVS Specification and Verification System

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: pkgsrc-2019Q3, Version: 3.2nb4, Package name: pvs-3.2nb4, Maintainer: pkgsrc-users

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.

MESSAGE.linux-i386 [+/-]

Required to run:
[print/tex-amsmath] [x11/tk] [editors/emacs26]

Required to build:
[pkgtools/cwrappers]

Master sites:


Version history: (Expand)