Text this: Modern Formal Methods and Applications