Decision Tree
Decision Tree
• The basic incompleteness results of first-order logic suggest that it is impossible to check
absolute correctness of systems using theorem proving techniques.
• Formal techniques are not able to handle complex problems. This shortcoming results from the
fact that, even moderately complicated problems blow up the complexity of formal
specification and their analysis. Also, a large unstructured set of mathematical formulas is
difficult to comprehend.