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
Answer:A
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
Explanation: The formal verification is important to develop the tools and methodologies to handle a large number of proofs using which it will be possible to detect the bugs in the design.