This repository has been archived on 2023-06-18. You can view files and clone it, but cannot push or open issues or pull requests.

Claudio Maggioni a7f3b1c06a report conclusions		2023-05-13 19:16:08 +02:00
..
outputs	Added plots	2023-05-10 13:41:23 +02:00
.gitignore	Added plots	2023-05-10 13:41:23 +02:00
grid-search.sh	grid search completed	2023-05-10 10:37:29 +02:00
make_plots.py	working bibliography, beginning promela explaination	2023-05-10 15:38:13 +02:00
requirements.txt	Added plots	2023-05-10 13:41:23 +02:00
reversal.pml.m4	more report work	2023-05-11 21:52:22 +02:00
reversal_seq_eq_parallel_2_3_2.pml	correction on promela model to follow indications in the assignment	2023-05-10 18:08:00 +02:00
run.sh	report conclusions	2023-05-13 19:16:08 +02:00
test-property.sh	grid search completed	2023-05-10 10:37:29 +02:00
time.csv	Added plots	2023-05-10 13:41:23 +02:00
time.txt	Added plots	2023-05-10 13:41:23 +02:00
to_csv.sh	Added plots	2023-05-10 13:41:23 +02:00