This tool version uses the prism model checker and ePMC to deal with large parametric models.

To use this version: 
1- Please add the path of PRISM model checker to prismLoc.txt.
2- Add the path of the current folder that have VERACITY into the top of the script file called  "ePMC-Prism.sh". 
3- Run VERACITY using tis command:
java -jar eVERACITY.jar <model_file> <properties_file> <confidence_interval>