Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk). - Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad (2015)