Progetti Universitari

  1. Homepage
  2. Progetti Universitari
  3. Formal Methods for Cyberphysic...

Formal Methods for Cyberphysical Systems - Invariant Verification Analysis

January 2022
Collaboratori: Federico Carboni Giuseppe Rossano
Tecnologie usate: Python
Progetto di GitHub

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.