Model Checking Parameterized Asynchronous Shared-Memory Systems
Abstract elided by the publisher.
Related papers
- Parameterized Verification of Asynchronous Shared-Memory Systems CAV 2013
- Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems CAV 2017
- PyLTA: A Verification Tool for Parameterized Distributed Algorithms TACAS 2023
- General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond TACAS 2021
- Parameterized verification of transactional memories PLDI 2010
- A Unifying Model Checking Approach for Safety Properties of Parameterized Systems CAV 2001
- Model Checking Large-Scale and Parameterized Resource Allocation Systems TACAS 2002
- Model-Checking and Abstraction to the Aid of Parameterized Systems VMCAI 2003