Проверка свойств системы: Пошаговое руководство