Greener Bits: Formal Analysis of Demand Response

Sources of PRISM and ProFeat

To replicate the experimental results, PRISM version 4.3 with additional unpublished patches is needed. Additionally, ProFeat version 0.100.0 or higher is necessary to generate the model. Pre-generated versions of the model can be found below.

Feel free to contact us for a copy of the tools.


Logs, the used models and properties and the tooling to generate them (except PRISM and ProFeat binaries).
To use them, do the following: