Формализация анализа в конец
Модель памяти и операция reload