Text this: Integrated Formal Methods