В данной работе представлены результаты исследования двух подходов к верификации функциональных блоков стандарта IEC 61499. Проводится сравнительный анализ применения верификатора SPIN, использующего явное представление множеств состояний структуры Крипке, и применения к данной задаче символьного верификатора SMV.

Шатров В.В. (науч. рук. Вяткин В.В.) Сравнительный анализ верификации функциональных блоков IEC 61499 с использованием инструментальных средств SPIN и SMV // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2022]. URL: https://kmu.itmo.ru/digests/article/6009