|
Препринты Института прикладной математики им. М. В. Келдыша РАН, 2012, 019, 30 стр.
(Mi ipmp37)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции
А. В. Климов, И. Г. Ключников, С. А. Романенко
Аннотация:
Рассматривается применение суперкомпиляции к анализу поведения счетчиковых систем переходов. Многорезультатная суперкомпиляция позволяет обнаруживать наилучшие варианты анализа, благодаря тому, что порождается множество возможных результатов анализа, которое затем фильтруется в соответствии с некоторыми критериями. К сожалению, пространство поиска при этом может получаться весьма обширным. Однако, можно значительно уменьшить объем поиска за счет учета особенностей предметной области. Таким образом, сочетание предметно-ориентированной и многорезультатной суперкомпиляции может давать синергетический эффект. Затраты на реализацию предметно-ориентированных многорезультатных суперкомпиляторов могут быть невелики, если использовать компоненты, предоставляемые инструментарием MRSC.
Образец цитирования:
А. В. Климов, И. Г. Ключников, С. А. Романенко, “Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции”, Препринты ИПМ им. М. В. Келдыша, 2012, 019, 30 с.; 2012, 000, 28 pp.
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ipmp37 https://www.mathnet.ru/rus/ipmp/y2012/p19
|
Статистика просмотров: |
Страница аннотации: | 163 | PDF русской версии: | 125 | PDF английской версии: | 17 | Список литературы: | 31 |
|