Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Препринт ИПМ № 19, Москва, 2012 г.
Авторы: Климов А. В., Ключников И. Г., Романенко С. А.
Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции
Аннотация:
Рассматривается применение суперкомпиляции к анализу поведения счетчиковых систем переходов. Многорезультатная суперкомпиляция позволяет обнаруживать наилучшие варианты анализа, благодаря тому, что порождается множество возможных результатов анализа, которое затем фильтруется в соответствии с некоторыми критериями. К сожалению, пространство поиска при этом может получаться весьма обширным. Однако, можно значительно уменьшить объем поиска за счет учета особенностей предметной области. Таким образом, сочетание предметно-ориентированной и многорезультатной суперкомпиляции может давать синергетический эффект. Затраты на реализацию предметно-ориентированных многорезультатных суперкомпиляторов могут быть невелики, если использовать компоненты, предоставляемые инструментарием MRSC.
Язык публикации: русский/английский,  страниц: 30/28
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Полный текст на русском языке:
Полный текст на английском языке:
Список цитирующих публикаций:
Экспорт ссылки на публикацию в формате:   RIS    BibTeX
Статистика просмотров (обновляется раз в сутки):
за последние 30 дней — 6 (+5), всего с 01.09.2019 — 96
Сведения об авторах:
  • Климов Андрей Валентинович,  orcid.org/0000-0003-0418-7311ИПМ им. М.В. Келдыша РАН
  • Ключников Илья Григорьевич,  ИПМ им. М.В. Келдыша РАН
  • Романенко Сергей Анатольевич,  orcid.org/0000-0002-2971-9647ИПМ им. М.В. Келдыша РАН