|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Tool for behavioral analysis of well-structured transition systems
[Инструмент для анализа поведения вполне структурированных систем переходов]
L. W. Dworzanski, V. E. Mikhaylov Department of Software Engineering, National Research University Higher School of Economics
Аннотация:
Вполне структурированные системы переходов являются хорошо известным инструментом для доказательства разрешимости свойств покрываемости и ограниченности. Каждый год появляются новые формализмы, которые оказываются вполне структурированными системами переходов. Несмотря на большой объем теоретической работы, существует большая потребность в эмпирических изучении вполне структурированных систем переходов. В данной работе представлен инструмент для анализа таких систем. Мы предлагаем расширение высокоуровневого языка SETL для описания вполне-структурированных систем переходов. Это позволяет описывать новые формализмы близко к их формальному определению. Таким образом упрощается создание и изменение новых формализмов, а также осуществление анализа поведенческих свойств без большого объема программистских усилий. Это удобно, когда новый формализм находится в стадии изучения и разработки. Были реализованы два самых изученных алгоритма анализа поведения вполне структурированных систем переходов (обратный алгоритм и анализ конечных деревьев достижимости). Их производительность была измерена на моделях сетей Петри и систем с потерей сигналов. Разработанный инструмент может быть полезным при внедрении и тестировании методов анализа формализмов, которые оказываются вполне структурированными системами переходов.
Ключевые слова:
формальная верификация, системы с бесконечным числом состояний, вполне структурированные системы Переходов, сети Петри.
Образец цитирования:
L. W. Dworzanski, V. E. Mikhaylov, “Tool for behavioral analysis of well-structured transition systems”, Труды ИСП РАН, 29:4 (2017), 175–190
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp242 https://www.mathnet.ru/rus/tisp/v29/i4/p175
|
Статистика просмотров: |
Страница аннотации: | 111 | PDF полного текста: | 64 | Список литературы: | 17 |
|