#cav2018
-
July 16, 2018Alessandro Cimatti wins the “CAV 2018” international awardThe prestigious award concerned studies for the realization of the so-called Bounded Model Checking, an algorithm used in the electronic circuit and software design systems