Prototype RSL Encoding

These archives contain the prototype implementation of our Viper encoding of the RSL logics, including all necessary dependencies except for those listed under the "Requirements" heading in the table.

You might also like to see the Online Appendix for other examples (including those used in our evaluation which are not yet supported by the prototype).

Installation Instructions

1. Unpack the archive, e.g. via:  
   $ tar xpvf RSLFrontend[Linux/Mac].tar.xz
   or
   C:\Path\to\Java\bin>jar xf RSLFrontendWin.zip
2. Quick check that the tool runs (should result in a request for more options):
   java -Xmx2048m -Xss16m -cp "RSLFrontend.jar" RSLFrontend.Main
3. Please see the README.txt for more-detailed instructions.