Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Труды института системного программирования РАН, 2020, том 32, выпуск 6, страницы 19–30
DOI: https://doi.org/10.15514//ISPRAS-2020-32(6)-2 (Mi tisp555) 		 
Верификация соответствия между разноуровневыми моделями функциональных требований

А. В. Хорошиловabcd

a Институт системного программирования им. В.П. Иванникова РАН
b НИУ Высшая школа экономики
c Московский государственный университет имени М. В. Ломоносова
d Московский физико-технический институт
PDF полного текста (451 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.15514//ISPRAS-2020-32(6)-2
Аннотация: В статье предлагаются методы доказательства соответствия между разноуровневыми моделями, нацеленные на доказательство свойств безопасности в индивидуальной трассовой семантике. Эти методы более просты и пригодны для применения при решении практических задач верификации сложных видов функциональных требований по сравнению с традиционными подходами, основанными на установлении отношения уточнения между моделями.
Ключевые слова: формальная верификация, формальные модели, трассовая семантика.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 20-07-00954
Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта № 20-07-00954.
Тип публикации: Статья
Образец цитирования: А. В. Хорошилов, “Верификация соответствия между разноуровневыми моделями функциональных требований”, Труды ИСП РАН, 32:6 (2020), 19–30
Цитирование в формате AMSBIB
\RBibitem{Kho20}
\by А.~В.~Хорошилов
\paper Верификация соответствия между разноуровневыми моделями функциональных требований
\jour Труды ИСП РАН
\yr 2020
\vol 32
\issue 6
\pages 19--30
\mathnet{http://mi.mathnet.ru/tisp555}
\crossref{https://doi.org/10.15514//ISPRAS-2020-32(6)-2}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp555
  • https://www.mathnet.ru/rus/tisp/v32/i6/p19
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:140
    PDF полного текста:32
    Список литературы:9
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024