#cimatti

The 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