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

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

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



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






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


Труды института системного программирования РАН, 2021, том 33, выпуск 2, страницы 191–200
DOI: https://doi.org/10.15514/ISPRAS-2021-33(2)-12
(Mi tisp594)
 

Выполнимость мю-исчисления с арифметическими ограничениями

Й. Лимонa, Э. Барсенасb, Э. Бенитес-Геррероa, Г. Молеро-Кастильоb, А. Веласкес Менаb

a Университет Веракрузана
b Национальный автономный университет Мексики
Список литературы:
Аннотация: Пропозициональное модальное $\mu$-исчисление является хорошо известным языком спецификаций систем помеченных переходов. В этой работе мы изучаем расширение этой логики с помощью обратных модальностей и арифметических ограничений Пресбургера, интерпретируемых на древовидных моделях. Мы описываем алгоритм выполнимости, основанный на построении по уровням моделей Фишера-Ларднера. Также сообщается о совместном выполнении нескольких экспериментов. Кроме того, мы описываем применение алгоритма для решения задач статического анализа полуструктурированных данных.
Ключевые слова: модальные логики, автоматизированное построение логического вывода, формальная верификация, пресбургеровская арифметика, полуструктурированные данные.
Тип публикации: Статья
Образец цитирования: Й. Лимон, Э. Барсенас, Э. Бенитес-Герреро, Г. Молеро-Кастильо, А. Веласкес Мена, “Выполнимость мю-исчисления с арифметическими ограничениями”, Труды ИСП РАН, 33:2 (2021), 191–200
Цитирование в формате AMSBIB
\RBibitem{LimBarBen21}
\by Й.~Лимон, Э.~Барсенас, Э.~Бенитес-Герреро, Г.~Молеро-Кастильо, А.~Веласкес~Мена
\paper Выполнимость мю-исчисления с арифметическими ограничениями
\jour Труды ИСП РАН
\yr 2021
\vol 33
\issue 2
\pages 191--200
\mathnet{http://mi.mathnet.ru/tisp594}
\crossref{https://doi.org/10.15514/ISPRAS-2021-33(2)-12}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp594
  • https://www.mathnet.ru/rus/tisp/v33/i2/p191
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:105
    PDF полного текста:38
    Список литературы:20
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025