Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:
Номер:8 (53)
Скачать PDF0 Кбайт
This article describes the verifier of automata-based programs created with the tool to support automata-based programming UniMod. Verifier works by integrating tool UniMod and verifier Bogor. Using developed verifier there is no need to convert automata-based program to the input language of the verifier. Requirements for the program are written in the language of temporal logic LTL.