Text this: Tools for Practical Software Verification