An error simulation based approach to measure error coverage of formal properties