6 citations · 15 across the 13 of their papers we have counts for
3 papers · 1 filter
Parameterized Verification under TSO with Data Types
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach +4
We consider parameterized verification of systems executing according to the total store ordering (TSO) semantics. The processes manipulate abstract data types over potentially inf…
Controlling a population
Nathalie Bertrand, Miheer Dewaskar, Blaise Genest +2
We introduce a new setting where a population of agents, each modelled by a finite-state system, are controlled uniformly: the controller applies the same action to every agent. Th…
Controlling a Population
Nathalie Bertrand, Miheer Dewaskar, Blaise Genest +1
We introduce a new setting where a population of agents, each modelled by a finite-state system, are controlled uniformly: the controller applies the same action to every agent. Th…