Preparing for future verification challenges