In questo repository si trova tutto quel che ho prodotto per conseguire l'esame di VPC. C'è un riassunto di teoria (anche se vi consiglio fortemente di non usare il mio riassunto, bensì la lista di domande presenti sul repository Guida dello studente) ma soprattutto il progetto.
C'è tutto. Ci sono sorgenti Latex, e sorgenti di tutti i vari programmi nelle cartelle relative agli esercizi aggiornati. Anticipo a chiunque che i programmi che vengono usati in questo corso spesso nei cambi di versione non mantengono la retrocompatibilità coi progetti..... ad esempio io avevo scritto il progetto dei timed automata con UPPAAL versione 2 e l'aggiornamento a versione 3 non mi permetteva più di aprirlo (ho risolto modificando dei parametri nel file ed ora funziona anche con UPPAAL 3). Deal with it.
Attenzione: nell'esercizio grosso ho fatto un errore. c'è un enorme disclaimer, leggetelo.
In ultimo, se copiate senza aver capito siete dei folli. La professoressa fa un esame in cui chiede TUTTO, sia di teoria che di pratica. Io lo sto condividendo con voi per usarlo come base per il vostro progetto. Se copiate la prof se ne renderà conto, ve lo garantisco.
Buona fortuna.