#formal methods
-
7 Maggio 2025Linee ferroviarie più sicure grazie al primo veicolo completamente autonomoLa ricerca FBK dietro al primo veicolo ferroviario a guida autonoma per le linee alta velocità italiane -
15 Ottobre 2022Metodi formali nella progettazione assistita da computer: superare i confiniL'unità ES del Centro Digital Industry Center (FBK) ha co-organizzato l'edizione di quest'anno della Conferenza internazionale sui metodi formali nella progettazione assistita da computer (FMCAD), la n. 22 di una serie di conferenze su teoria e applicazioni dei metodi formali nella verifica dell'hardware e del sistema. Il convegno si è tenuto a Trento dal 17 al 21 ottobre 2022