Setting Up AI-Assisted Application Verification