Text this: Formal Methods: State of the Art and New Directions