Formal Methods Defined from an Academic POV