# CPS Lab 2 Exercise (2021-11-19)

- Mariano Sciacco
- Federico Carboni
- Davide Franzosi

> Note: requires `cpp` to make NUSMV work (or just replace it manually)

> Note 2: use `nusmv -pre cpp <file>` to invoke the pre-processor of CPP