#formal methods

L'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