Showing 2023Show all
2 papers · 1 filter
cs.FL2023
Checking Presence Reachability Properties on Parameterized Shared-Memory Systems
Nicolas Waldburger
We consider the verification of distributed systems composed of an arbitrary number of asynchronous processes. Processes are identical finite-state machines that communicate by rea…
cs.LO2023
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
Lucie Guillou, Corto Mascle, Nicolas Waldburger
We consider the parameterized verification of arbitrarily large networks of agents which communicate by broadcasting and receiving messages. In our model, the broadcast topology is…