Giuseppe Silvestri. Automatic detection of timing-violating, non-automatically-fixable paths. Rel. Guido Masera. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024