We present a method for automatic verification of systems with a parameterized number of communicating processes, such as mutual exclusion protocols or agreement protocols. To that end, we present  ...
['Parosh Aziz Abdulla', 'Frédéric Haziza', 'Lukáš Holík']
Block me if you can! : Context-sensitive parameterized verification