Parameterized Verification of Asynchronous Shared-Memory Systems
No abstract available.
DOI 10.1007/978-3-642-39799-8_8
Related papers
- Model Checking Parameterized Asynchronous Shared-Memory Systems CAV 2015
- General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond TACAS 2021
- Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems CAV 2017
- Parameterized verification under TSO is PSPACE-complete POPL 2020
- PyLTA: A Verification Tool for Parameterized Distributed Algorithms TACAS 2023
- Parameterized verification of transactional memories PLDI 2010
- Modular Deductive Verification of Multiprocessor Hardware Designs CAV 2015
- Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction VMCAI 2025