Включен в Единый реестр российских программ для электронных вычислительных машин и баз данных, номер регистрации №5324
INDELCOMP-6.2 представляет собой набор безопасных утилит-генераторов, транслирующих исходные тексты на языке описания взаимозависимостей базовых логических объектов станции (формализованное описание конечного автомата, функционально эквивалентного отдельным блокам релейной электрической централизации) в исходные тексты на языке С, пригодные для компиляции и использования продуктами MPC2, BPA2/BPB2.
В дополнение к генерации, продукт SITE2OUT предоставляет механизм и утилиту формальной верификации свойств описываемого конечного автомата.
________________________________________________________________
Информация о стоимости ПО:
Для расчета конечной стоимости ПО требуется исчерпывающая информация по объекту интеграции. Для предоставления информации необходимо обратиться с запросом на mailbox@esprail.ru
