TY  - RPRT
TI  - A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker
AU  - Dirk Beyer
AU  - Karlheinz Friedberger
PY  - 2016
DO  - 10.4204/eptcs.233.6
UR  - https://arxiv.org/abs/1612.04983
ID  - 1612.04983
ER  -