Хабр Курсы для бэкендеров
РЕКЛАМА
Большая витрина: от крупнейших школ до частных авторов. Сравнивайте по цене, длительности, формату и выбирайте самый подходящий курс!
Поток Бэкенд доступен 24/7 благодаря поддержке друзей Хабра
Комментарии 2
Как вышеизложенное можно применить для конкретного решения задачи о философах (см. https://habr.com/ru/articles/969036/) и какие результаты/оценки при этом можно получить?
Похоже сломался model checking :(
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
5ⁿ → 4n+1: сколько на самом деле дают редукции в explicit‑state model checking