- Consider multiple different tasks, simulate and verify using SPIN model checker, and PROMELA as modelling language
- To run, either install SPIN or run jSpin as a GUI
jafagervik / reliablesoftware Goto Github PK
View Code? Open in Web Editor NEWCourse in Model Checking using SPIN and SAT solvers