Введение — что делал и почему заключаение — что было сделано, результат, какие были проблемы основная часть — проблема, решение стандартное, своя модель. Сформулировать св-ва которые проверяются в модели на языке теморальной логики и проверить Алгоритм описать