devel/cppunit misses a destructor declaration for one of its classes.

[pkgsrcv2.git] / devel / pvs / DESCR

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.