Methods Formal Project