Привет.
Возможно, это будет интересно всем, кто сам или при помощи студентов занимается анализом, верификацией и прочими интересными вещами для моделей на языке ММ.
На основе модели ИВС из проекта "Выбор" я подготовил "развёрнутую" модель на ММ, которая находится в одном файле, и из которой убрана параметризация по количеству буферов (в объявлении массивов буферов явно указан размер массива), циклы set_param, и прочий синтаксический сахар. Я полагаю, что на этой модели будет крайне удобно апробировать вышеперечисленные интересные вещи с минимальным overhead на поддержку инженерных финтифлюшек. Модель -- порядка 11000 строк на ММ.
Если кому интересно, обращайтесь.
Костя.