Пример формального контроля