Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems

Benjamin Aminof, Sasha Rubin, Francesco Spegni +1

We study the complexity of the model-checking problem for parameterized discrete-timed systems with arbitrarily many anonymous and identical processes, with and without a distingui…