Comments 2
Как вышеизложенное можно применить для конкретного решения задачи о философах (см. https://habr.com/ru/articles/969036/) и какие результаты/оценки при этом можно получить?
Похоже сломался model checking :(
Sign up to leave a comment.
Как вышеизложенное можно применить для конкретного решения задачи о философах (см. https://habr.com/ru/articles/969036/) и какие результаты/оценки при этом можно получить?
Похоже сломался model checking :(
5ⁿ → 4n+1: сколько на самом деле дают редукции в explicit‑state model checking