Abstract
In the article, temperature adjustment in the environment of the TRACE MODE 6 software complex was studied by the method of model checking. Systems created in the TRACE MODE program are intended for information-measurement monitoring or management. Depending on the location or nature of the enterprise, the system architecture can be centralized or distributed. The ever-growing data is handled by the powerful SUBD RV SIAD 6 archiving technology. Systems created in TRACE MODE 6 software are very reliable for dynamic processes and are currently used in the petrochemical industry, metallurgy, energy, mechanical engineering, food industry, utilities, transport and scientific activities.