An Efficient Methodology for Mutation-Coverage-Collection of Formal-Property-Checking