4 Formal Method