Title: Preparing for Future Verification Challenges