13 lines
240 B
Markdown
13 lines
240 B
Markdown
|
|
# 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
|
|
|
|
|