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