On the model checking of sequential reactive systems

V. Zakharov; Kozlova D.

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

15 октября 2026 г.

Ученые НИУ ВШЭ выяснили, куда смотрят дети и взрослые при чтении

Исследователи Центра языка и мозга НИУ ВШЭ совместно с зарубежными коллегами показали, что в конце первого класса у детей уже сформирован один из важных навыков движений глаз при чтении. Они, как и взрослые, быстро адаптируют длину саккад — быстрых скачков взгляда — к длине слов в предложениях. При этом место, куда приземляется взгляд, у детей смещено к началу слова, в отличие от взрослых, которые смотрят в середину слова. Чем выше беглость чтения, тем ближе эта позиция к центру. Результаты исследования опубликованы в Journal of Experimental Child Psychology.

13 октября 2026 г.

Российские ученые поставили под сомнение установление рекорда в замерах свойств сверхпроводников

Топологические изоляторы проводят ток только по поверхности и поэтому рассматриваются как перспективные материалы для будущей электроники и квантовых технологий. Особый интерес представляет их контакт со сверхпроводниками. Физики из НИУ ВШЭ показали, что недавний эксперимент, в котором в такой гибридной структуре якобы наблюдалось объединение электронных пар на рекордном расстоянии 1,5 мкм, допускает более прозаичное объяснение. По их мнению, тот же сигнал может быть обусловлен обычным прохождением электронов через сверхпроводник. Дискуссия исследователей развернулась на страницах Nature Physics.

12 октября 2026 г.

Устойчивое управление и стоимость бизнеса: экономисты ВШЭ выяснили, как они связаны на российском рынке

На российском рынке устойчивое развитие повышает стоимость бизнеса прежде всего тогда, когда становится частью корпоративной стратегии. К такому выводу пришли исследователи НИУ ВШЭ и их зарубежные коллеги, проанализировав практики управления 152 публичных российских компаний. Статья опубликована в журнале Business Strategy and the Environment.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

On the model checking of sequential reactive systems

P. 233–244.

Захаров В. А., Kozlova D.

Язык: английский

Текст на другом сайте

Ключевые слова: model checking finite state transducer конечный автомат-преобразователь верификация моделей программ темпоральная логика temporal logic

ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:

Проектирование и анализ поведения распределенных процессно-ориентированных информационных систем (2016)

В книге

Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016.

Vol. 1698. , Humboldt-Universität zu Berlin, 2016.

Merging Epistemic and Temporal Models: a History-Free Approach

Попова Е. Л., Логико-философские штудии 2022 Vol. 20 No. 1 P. 1–7

Добавлено: 1 августа 2022 г.

On the Model Checking Problem for Some Extension of CTL*

Гнатенко А. Р., Захаров В. А., Automatic Control and Computer Sciences 2021 Vol. 55 No. 7 P. 776–785

Добавлено: 17 января 2022 г.

Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines

Захаров В. А., Automatic Control and Computer Sciences (AC&CS), Switzerland 2021 Vol. 55 No. 7 P. 670–701

Добавлено: 17 января 2022 г.

О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени

Гнатенко А. Р., Захаров В. А., Моделирование и анализ информационных систем 2021 Т. 28 № 4 С. 356–371

К последовательным реагирующим системам относятся компьютерные программы и вычислительные устройства, которые обрабатывают потоки входных данных или сигналов управления и генерируют на выходе последовательности команд или результатов вычислений. Для проектирования таких систем полезно иметь формальные языки спецификаций, способные выражать отношения между входными и выходными потоками данных. В предшествующих работах нами было предложено семейство таких языков спецификаций, ...

Добавлено: 17 января 2022 г.

Reasoning Web. Declarative Artificial Intelligence, 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures. Article: Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course

Захарьящев М. В., Ryzhikov V., Wałęga P., Springer Publishing Company, 2020.

Добавлено: 8 ноября 2021 г.

Branching Time Logics with Multiagent Temporal Accessibility Relations

Рыбаков В. В., Siberian Mathematical Journal 2021 Vol. 62 P. 503–510

Добавлено: 8 ноября 2021 г.

Conference: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021

Захарьящев М. В., Саватеев Ю. В., Ryzhikov V., Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2021.

Добавлено: 6 ноября 2021 г.

Knowledge and Time: Evolutionary Epistemic Model

Попова Е. Л., , in: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г.: М.: Русское общество истории и философии науки, 2021. P. 134–137.

Данная статья посвящена формализации широкого спектра сценариев изменения знаний с течением времени. Мы исследуем комбинации временных и эпистемических модальностей, отражающих различные свойства рассуждений рациональных агентов. Для этой цели вводим модель 𝐸𝐸𝑀 – эволюционную эпистемическую модель. ...

Добавлено: 28 июня 2021 г.