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)

Full work available at URL https://doi.org/10.1145/3519270.3538445

zbMATH Keywords

model-checkingparameterized verificationrelease-acquire semanticsshared memoryweak memory models

Mathematics Subject Classification ID

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

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)