GENERATION / OPTIMIZATION / VERIFICATION LOOP