Combining Abduction and Model Checking Techniques far Repairing Concurrent Programs