promela-playground This repository contains a serie of promela exercises based on http://spinroot.com/spin/Man/1_Exercises.html http://www.cse.usf.edu/~haozheng/teach/cda5416/slides/spin-tutorial.pdf