GUI for running the SPIN model checker - View it on GitHub