Il BIM, acronimo di Building Information Modeling, è ormai diffuso in tutto il mondo nel campo dell’edilizia per la sua utilità non soltanto in fase di progettazione ma durante l’intero ciclo di vita di un edificio. La presente tesi si occupa della realizzazione di una parte di modello architettonico e meccanico finalizzato al Facility Management tramite metodologia BIM per la futura gestione e manutenzione del complesso e la verifica di primo livello delle incongruenze all’interno dello stesso. Il caso studio è l’Allianz Stadium, stadio di proprietà della Juventus F.C. spa. Analizzando nel dettaglio la UNI 11337:2017-parte 5, ci si è occupati della verifica del modello tramite Visual Programming Process, strumento grazie al quale è stato possibile rimanere all’interno del software parametrico senza causare la possibile perdita e/o modifica delle informazioni. Questa è una verifica di tipo formale orientata all’analisi di incoerenze ed interferenze all’interno del singolo modello.