Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:
Номер:8 (53)
Скачать PDF0 Кбайт
We consider the method of verification of automata-based programs using Model Checking method. To verify the model the tool SMV is used. In the proposed approach, transition system is not built in explicit form. This allows the program to verify systems with large number of states.