In this paper is described thermodynamic model for UCG process and his verification. The main task of thermodynamic process is finding the composition of gasification products by known thermodynamic temperature and by known pressure, according minimization of Gibson energy of system. This task was mathematical formulated and solved with optimization method of the Lagrange multipliers with restrictions. The verification of this model was made on the data obtained from laboratory and real experiments.