#cav
-
16 Luglio 2018Alessandro Cimatti vince il premio internazionale “CAV 2018”Il prestigioso riconoscimento ha riguardato gli studi per la realizzazione del cosiddetto Bounded Model Checking, un algoritmo utilizzato nei sistemi di progettazione di circuiti elettronici e software