Text this: A Roadmap for Formal Property Verification