UMM

swMATH10132MaRDI QIDQ22100FDOQ22100

Author name not available (Why is that?)

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