NASA Langley has a collection of PVS-related libraries, strategies, and packages. You must first install PVS to take advantage of this collection.
This is a large package. I no longer have room on this web server to store the entire source RPM. Therefore, you have to assemble it yourself from the pieces below.
Download the sources listed in the spec file. If you have
/usr/bin/spectool will do the job for you.