gennaio 2022
Collaboratori:
Federico Carboni
Giuseppe Rossano
Tecnologie usate:
Python
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.