SCRATCH

MaRDI QIDQ18634swMATHFDO

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