Promela-CW A coursework on formal methods that was finished on our second undergraduate level of studies. The paper accompanying the source code has been purged from the repo. Contributors: @Damian96