A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker - Beyer, Dirk (arXiv.org)