susamusa29/Prism-Modelling-Level4-Project

This is a project for modelling games using PRISM-language and PRISM-Games. For more information, please seee the following link: https://www.prismmodelchecker.org/