Как поддерживается корректность работы программ