Formal Vs Dynamic Equivalence Chart - Formal Equivalence And Functional Equivalence