Verifica del modello di simulazione della macchina a gas caldo