Text this: Applied formal verification