Progetto di Formal Methods for Cyberphysical Systems. Esercizi e analisi per la verifica degli invarianti in sistemi a componenti ibridi sfruttando la libreria NuSMV su Python. Il progetto è stato fatto in collaborazione con Federico Carboni e Giuseppe Rossano.