Parameterized Verification under Release Acquire is PSPACE-complete

DOI10.1145/3519270.3538445MaRDI QIDQ6202207FDOQ6202207

Authors: Adwait Godbole, Roland Meyer, Soham Chakraborty 

Publication date: 26 March 2024

Published in: Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

shared memorymodel-checkingweak memory modelsparameterized verificationrelease-acquire semantics

Mathematics Subject Classification ID

Distributed algorithms (68W15) Distributed systems (68M14)

Cited In (1)

• Parameterized verification under TSO with data types

This page was built for publication: Parameterized Verification under Release Acquire is PSPACE-complete

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6202207)