Boosting Sequential Consistency Checking Using Saturation

DOI10.1007/978-3-030-59152-6_20MaRDI QIDQ6485890zbMATH OpenFDO

Authors Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi

Publication date 22 December 2022

Published in 1517.68086 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-59152-6_20

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Testing Shared Memories
• On atomicity in presence of non-atomic writes
• Verifying concurrent programs against sequential specifications
• Languages and Compilers for Parallel Computing

Cited in

(5)

• Sequentialization using timestamps
• Implied Set Closure and Its Application to Memory Consistency Verification
• Testing Shared Memories
• Languages and Compilers for Parallel Computing
• Gradual consistency checking

This page was built for publication: Boosting Sequential Consistency Checking Using Saturation

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