Parameterized Verification under Release Acquire is PSPACE-complete

DOI10.1145/3519270.3538445MaRDI QIDQ6202207zbMATH OpenFDO

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)