Parameterized Model Checking of Token-Passing Systems

Benjamin Aminof, Swen Jacobs, Ayrat Khalimov +1

We revisit the parameterized model checking problem for token-passing systems and specifications in indexed ${\text{CTL}}^{\ast }\backslash \text{X}$. Emerson and Namjoshi (1995, 2…