Subject Terms: автоматированное развертывание, корректность развертывания, Вычислительные машины электронные, infrastructure automation, deployment correctness, automated deployment, автоматизация инфраструктуры, облачная платформа разработки, cloud development platform