Modalità d’Esame
Appunti
Parte 1
Introduzione
CCS
Reti di Petri
Processi Non Sequenziali
Parte 2
Correttezza di programmi sequenziali
Logiche temporali
Model Checking
Esercizi Lezioni
Lezione 16.10.2023.pdf
Esercizi
Bisimulazione:
Bisimulazione_esercizio_.pdf
EsempiBisimulazione.pdf
es_da_svolgere_bisimulazione.pdf
soluzioni_esercitazione_bisimulazione.pdf
Sistemi elementari:
MC-23-24_esercizi_1.pdf
MC-23-24-soluzione_esercizi_1.pdf
Processi non sequenziali e ramificati:
esercizi_sui_processi.pdf
esercizi_processi_2023.pdf
Temi d’esame
2016
2017
2019
2020
2021
2022
2023
Soluzioni Temi d’esame
21 Gen 2020
9 Sep 2021
14 Sep 2022
6 Feb 2023
[TODO] 13 Lug 22
TODO 10 Feb 22
19 Gen 22
TODO 26 Gen 21
Riassuntone MdC
Logica di Hoare:
regole_hoare.pdf
hoare_es.pdf
mcd.pdf
es-LdH.pdf
Logiche temporali e model checking:
esercizi-ltl.pdf