An Error Simulation Based Approach to Measure Error Coverage of Formal Properties