Accurate data cleansing through model checking and machine learning techniques