In engineering, cost minimization, especially in Computer Numerical Control (CNC) machining like pocket milling, is crucial. Existing tool path definition software often lacks optimization, particularly at critical starting and ending points. This study optimizes CNC machine tool paths for energy-efficient multi-pocket milling, utilizing the Symbolic Discrete Control Synthesis (SDCS) method for formal correctness. In our work, the tool path generation is formulated as a traveling salesman problem. We introduce a modeling framework to adapt SDCS to multi-pocket-milling processes, aiming to enhance precision and efficiency for potential cost savings, including energy and time, in engineering applications. This study reports experimental and comparative results, where comparative evaluations were made using metaheuristic algorithms. Our proposed approach improves CNC machining processes for multi-pocket milling. We experimentally evaluate our control algorithms and demonstrate and validate our approach through case studies.