Text this: Software Engineering and Formal Methods