Download the prototype below.Unpack the tar.gz file. Run start.sh to start PRINSYS. It should run out of the box on a Debian 64bit system.
If it does not work for you because you use a different distribution, please build the Reduce CAS on your system. Then, update prinsys.xml in PRINSYS's working directory accordingly. This release makes no use of SLFQ because SLFQ turns out to be highly un-portable and its functionality is not necessarily required for the generation of the invariants discussed in the paper.
The current version is from 02 Nov 2012.
Download_Linux Linux package
Download_Windows Windows package (does not include dot!)
21 Oct. 2012