By using the techniques of formal verification, one can detect the logical bugs of

• A. more than 50
• B. less than 50
• C. more than 100
• D. less than 100