Gradual consistency checking

DOI10.1007/978-3-030-25543-5_16OpenAlexW2960913870MaRDI QIDQ6154884FDOQ6154884

Authors: Rachid Zennou, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi 

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-25543-5_16

Recommendations

• scientific article; zbMATH DE number 2102714
• Boosting Sequential Consistency Checking Using Saturation
• The complexity of weak consistency
• Testing Shared Memories
• Sound and complete monitoring of sequential consistency for relaxed memory models

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Cited In (1)

• Optimal stateless model checking for causal consistency

This page was built for publication: Gradual consistency checking

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