Text this: Formal verification of AI software /