Maxelweb/cps-lab-exercises-2021
1
0
Fork 0
Code Pull Requests Releases Activity
Files
master
cps-lab-exercises-2021/lab2
History
Mariano Sciacco b16ebd1d1d fix readme files
2021-11-19 10:38:31 +01:00
..
ex_lab02.pdf
add lab1 and lab2 exercises
2021-11-19 10:36:17 +01:00
exercise_1.smv
add lab1 and lab2 exercises
2021-11-19 10:36:17 +01:00
fifo-ltlmc.smv
add lab1 and lab2 exercises
2021-11-19 10:36:17 +01:00
fifo-properties.smv
add lab1 and lab2 exercises
2021-11-19 10:36:17 +01:00
fifo.smv
add lab1 and lab2 exercises
2021-11-19 10:36:17 +01:00
README.md
fix readme files
2021-11-19 10:38:31 +01:00

README.md

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