UMM
From MaRDI portal
Software:22100
swMATH10132MaRDI QIDQ22100FDOQ22100
Author name not available (Why is that?)
Cited In (6)
- 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
- A formal hierarchy of weak memory models
- Verification of Concurrent Programs on Weak Memory Models
This page was built for software: UMM
