/Promela-CW

A coursework on formal methods

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