Text this: The Application of Formal Methods