This is the implementation of one of the tasks for the course of "Analysis of Software Artifacts"
This repo contains the model written on spin / promela and some text outputs for this. it does NOT contain the original Gizmo java project
sudo apt install spin
spin promodel.pml
as an extra tool you may require jspin
