-= About =- Here we provide all the source files together with examples and documentation. Inside each version of the implementation, there is a README file with description about all the source files, installation and how to use.
Please check/use version V1 (current version).

-= VERSIONS =-

V0. Preliminary version of the implementation with a couple of examples illustrating how to use.

V1. Current version (October 2016). Revised version with improvements such as computing emptiness check for each state off-line. Also includes additional examples based on practical applications discussed in the paper "Predictive Runtime Enforcement".