Added pictures of PRISM verification to be used in the report. Finished the models and their respective properties. B and C has now been written as a report.
Conflict solving