Memorax

swMATH9759MaRDI QIDQ21738FDOQ21738

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-36742-7_37

Cited In (3)

• Parameterized model checking on the TSO weak memory model
• Cubicle-\(\mathcal{W}\): parameterized model checking on weak memory
• Context-bounded analysis of TSO systems

This page was built for software: Memorax