@Inproceedings{EPTCS233.6,
  author    = {Beyer, Dirk and Friedberger, Karlheinz},
  year      = {2016},
  title     = {A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker},
  editor    = {Bouda, Jan and Hol\'ik, Luk\'a\v{s} and Kofro\v{n}, Jan and Strej\v{c}ek, Jan and Rambousek, Adam},
  booktitle = {{\rm Proceedings 11th Doctoral Workshop on}
               Mathematical and Engineering Methods in Computer Science,
               {\rm Tel\v{c}, Czech Republic, 21st-23rd October 2016}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {233},
  publisher = {Open Publishing Association},
  pages     = {61-71},
  doi       = {10.4204/EPTCS.233.6},
}