UMM

MaRDI QIDQ22100swMATHFDO

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

Cited in

(9)

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

This page was built for software: UMM