Memorax

MaRDI QIDQ21738swMATHFDO

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

Cited in

(3)

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

This page was built for software: Memorax