Papers

Bibtex:

@article{DonaldsonKKTW_FMSD2012,
   title      = {Counterexample-guided Abstraction Refinement
                 for Symmetric Concurrent Programs},
   author     = {Alastair F. Donaldson and Alexander Kaiser and
                 Daniel Kroening and Michael Tautschnig and Thomas
                 Wahl},
   journal    = {Formal Methods in System Design},
   volume     = {41},
   issue      = {1},
   pages      = {25-44},
   year       = {2012},
   note       = {Special issue consisting of extended versions
                 of selected best CAV 2011 papers}
}