2
Еквівалентність відстеження та еквівалентність LTL
Я шукаю простий приклад двох перехідних систем, які є еквівалентними LTL, але не еквівалентними в слідах. Я прочитав доказ того, що еквівалентність слідів є кращим, ніж еквівалентність LTL, у книзі "Принципи перевірки моделі" (Baier / Katoen), але я не впевнений, що я дійсно це розумію. Я не можу це уявити, …