The formal verification is important for

• A. developing the tools
• B. developing the methodologies
• C. to detect the bugs in design
• D. all of the mentioned