##Verifica e validazione di sistemi software ####Dipartimento di informatica, anno 2015-2016.

Questa repo contiene tutto quello che è stato fatto durante il corso di Verifica e validazione di sistemi software nell'anno 2016. Sono presenti tutti gli esempi visti in classe, molti dei quali sono stati riscritti da ognuno di noi per maggiore chiarezza ed esercizio.

Il linguaggio utilizzato è Modelica; l'implementazione JModelica. Installare JModelica può essere complicato; per questo motivo è stato realizzato uno script che automatizza il tutto (installJModelica.sh).

La struttura della repo è la seguente:

• Esempi in classe: esempi visti in classe
• Note ed appunti: appunti vari
• Esercizi liberi: esercizi svolti in maniera autonoma dai collaboratori della repository. Principalmente contengono rivisitazioni di esempi visti in classe.
• model_checking: contiene le implementazioni delle funzioni utilizzate per fare model checking. -esame: cartella contenente esami svolti nella sessione di Giugno Luglio 2016. I testi si trovano sul sito del professore.

###Collaboratori

• Matteo Almanza
• Michele Laurenti
• Cristian Di Pietrantonio