UMM

MaRDI QIDQ22100swMATHFDO

Official website http://onlinelibrary.wiley.com/doi/10.1002/cpe.837/abstract

Cited in

(9)

• What's decidable about weak memory models?
• Formal verification of a C-like memory model and its uses for verifying program transformations
• Formalising Java’s Data Race Free Guarantee
• Fences in weak memory models
• Checkfence
• TSOTool
• Weak2SC
• A formal hierarchy of weak memory models
• Verification of Concurrent Programs on Weak Memory Models

This page was built for software: UMM