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.

Experiments

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