Методика верификации автоматных программ
Ключевые слова:
Аннотация
Описывается разработанный верификатор автоматных программ, созданных при помощи инструментального средства для поддержки автоматного программирования UniMod. При его использовании отсутствует необходимость описывать модель на входном языке верификатора. Требования к программе записываются на языке темпоральной логики линейного времени.
Опубликован
20-10-2008
Как цитировать
Егоров, К. В., & Шалыто, А. А. (2008). Методика верификации автоматных программ. Информационно-управляющие системы, (5), 15-21. извлечено от https://i-us.ru/index.php/ius/article/view/14782
Выпуск
Раздел
Программные и аппаратные средства