Anfonwch hwn fel neges destun: Efficient verification of comcurrent systems using local analysis based approximations and SAT solving