Text this: Applied formal verification /