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

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

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


Фундамент. и прикл. матем.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Фундаментальная и прикладная математика, 2014, том 19, выпуск 1, страницы 121–163 (Mi fpm1570)  
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Минимизация вероятностных моделей программ

А. М. Миронов, С. Л. Френкель

Институт проблем информатики Российской академии наук
PDF полного текста (326 kB) Список цитирования (3)
Список литературы:
PDF
HTML
Аннотация: Рассматривается задача редукции вероятностных систем переходов с целью понижения сложности верификации таких систем. Верификация вероятностной системы переходов заключается в вычислении истинностных значений формул вероятностной темпоральной логики в начальных состояниях вероятностной системы переходов. Введено понятие эквивалентности состояний вероятностной системы переходов и указан алгоритм удаления эквивалентных состояний, в результате работы которого получается вероятностная системы переходов, у которой все свойства, выражаемые формулами вероятностной темпоральной логики, совпадают со свойствами исходной вероятностной системы переходов.
Ключевые слова: верификация, вероятностные системы переходов, вероятностная темпоральная логика, редукция вероятностных моделей.
Англоязычная версия:
Journal of Mathematical Sciences (New York), 2015, Volume 211, Issue 3, Pages 381–412
DOI: https://doi.org/10.1007/s10958-015-2611-2
Реферативные базы данных:
Тип публикации: Статья
УДК: 681.3
Образец цитирования: А. М. Миронов, С. Л. Френкель, “Минимизация вероятностных моделей программ”, Фундамент. и прикл. матем., 19:1 (2014), 121–163; J. Math. Sci., 211:3 (2015), 381–412
Цитирование в формате AMSBIB
\RBibitem{MirFre14}
\by А.~М.~Миронов, С.~Л.~Френкель
\paper Минимизация вероятностных моделей программ
\jour Фундамент. и прикл. матем.
\yr 2014
\vol 19
\issue 1
\pages 121--163
\mathnet{http://mi.mathnet.ru/fpm1570}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3431872}
\transl
\jour J. Math. Sci.
\yr 2015
\vol 211
\issue 3
\pages 381--412
\crossref{https://doi.org/10.1007/s10958-015-2611-2}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84945243142}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/fpm1570
  • https://www.mathnet.ru/rus/fpm/v19/i1/p121
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Фундаментальная и прикладная математика
    Статистика просмотров:
    Страница аннотации:364
    PDF полного текста:185
    Список литературы:37
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024