INDELCOMP-6.2

________________________________________________________________

Программа INDELCOMP-6.2 представляет собой набор безопасных утилит-генераторов, транслирующих исходные тексты на языке описания взаимозависимостей базовых логических объектов станции (формализованное описание конечного автомата, функционально эквивалентного отдельным блокам релейной электрической централизации) в исходные тексты на языке С, пригодные для компиляции и использования продуктами MPC2, BPA2/BPB2.

В дополнение к генерации, продукт SITE2OUT предоставляет механизм и утилиту формальной верификации некоторых свойств описываемого конечного автомата.

________________________________________________________________

Документация: