research
∙
06/30/2023
Checking Presence Reachability Properties on Parameterized Shared-Memory Systems
We consider the verification of distributed systems composed of an arbit...
share
research
∙
06/02/2023
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
We consider the parameterized verification of arbitrarily large networks...
research
∙
04/25/2022
