Automated Planning Through Program Verification