Программное средство для генерации дискретной формальной модели объекта управления по примерам поведения

Программа генерирует монолитную формальную модель объекта управления по заданным сценариям исполнения и модульную модель по заданным моделям отдельных модулей. Программа может работать в четырех режимах: сериализация сценариев исполнения, генерация монолитной модели с явным представлением состояний, генерация монолитной символьной модели в виде набора ограничений, генерация модульной модели.