Claudio Maggioni
|
a7f3b1c06a
|
report conclusions
|
2023-05-13 19:16:08 +02:00 |
Claudio Maggioni
|
bd75c7ab34
|
more report work
|
2023-05-11 21:52:22 +02:00 |
Claudio Maggioni
|
171740efd6
|
Report explains ProMeLa code and all LTLs
|
2023-05-11 21:26:10 +02:00 |
Claudio Maggioni
|
649dacc521
|
added todo in report
|
2023-05-10 18:12:26 +02:00 |
Claudio Maggioni
|
1e25f0d9d1
|
promela expl done (minus ltl)
|
2023-05-10 16:47:52 +02:00 |
Claudio Maggioni
|
422c06c7aa
|
working bibliography, beginning promela explaination
|
2023-05-10 15:38:13 +02:00 |
Claudio Maggioni
|
4635920a21
|
Plot included in report
|
2023-05-10 14:07:40 +02:00 |