Game Design Automation provides tools for the design, verification, and optimization of slot machine mathematics. These tools enable game performance to be optimized, and development time and costs to be reduced, while integrating with the traditional game design process.