PRINSYS - PRobabilistic INvariant SYnthesiS

Installation instructions

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.

Download current version

The current version is from 02 Nov 2012.

Download_Linux Linux package

Download_Windows Windows package (does not include dot!)

Download archive


21 Oct. 2012

Valid XHTML 1.1