Papers

Alastair F. Donaldson, Daniel Kroening, Philipp Ruemmer. Automatic Analysis of DMA Races Using Model Checking and k-Induction. Formal Methods in System Design 39(1):83-113. Springer, 2011.

Bibtex:

@article{DonaldsonKR_FMSD2011,
   title      = {Automatic Analysis of {DMA} Races Using Model
                 Checking and k-Induction},
   author     = {Alastair F. Donaldson and Daniel Kroening and
                 Philipp Ruemmer},
   journal    = {Formal Methods in System Design},
   volume     = {39},
   issue      = {1},
   pages      = {83-113},
   publisher  = {Springer},
   year       = {2011}
}