There are two versions of the ePMC tool.

ePMC-storm.sh uses the Storm model checker while ePM-Prism.sh uses Prism.

Before using either of the tool versions please edit the prismLoc.txt (or stormLoc.txt)
to reference your local version of the model checker.

The relevant ePMC script should be run as

./ePMC-Storm.sh <model>.pm <model>.pctl <output>.m

Where <model>.pm is an ePMC model as described in the paper, <model>.pctl is the set of properties to be
evaluated and <output>.m is the matlab file to be generated by the tool.

At the top of the script files edit toolLoc="/local/sda7/cap508/ePMC2"
