Sciweavers

FMSD
2011

Automatic analysis of DMA races using model checking and k-induction

13 years 2 months ago
Automatic analysis of DMA races using model checking and k-induction
Alastair F. Donaldson, Daniel Kroening, Philipp R&
Added 28 Aug 2011
Updated 28 Aug 2011
Type Journal
Year 2011
Where FMSD
Authors Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer
Comments (0)