GitHub - motib/jspin: GUI for running the SPIN model checker
github.com
GUI for running the SPIN model checker. Contribute to motib/jspin development by creating an account on GitHub.