Text this: Scalable Techniques for Formal Verification