Giuseppe Intilla. Learning process to select relevant subset of parameters in CPU verification. Rel. Andrea Bottino. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Matematica, 2023