Runtime Reflection - Download

To download the latest versions of our components, simply click the links to the gzipped tar-balls below. Detailed instructions on how to compile, and install the framework are given inside the respective tar-balls.

Latest Version: 0.0.1:

• Gzipped source archive of runtime_verification 0.0.1 (301 KBytes)
• Gzipped source archive of lsat_diagnosis 0.0.1 (1.1 MBytes)