SCRATCH

swMATH6537MaRDI QIDQ18634FDOQ18634

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=1941604

Described by source

• Automatic analysis of DMA races using model checking and \(k\)-induction

Cited In (3)

• Cellss
• RacerX
• Strengthening induction-based race checking with lightweight static analysis

This page was built for software: SCRATCH