Part of a study Developed for DARPA (Department of Defense) from 2013 to 2015 (http://www.verigames.com)
In Circuitbot you control teams of robots on missions to asteroids, planets and moons. You’ll build factories that harvest and refine resources and generate goods.
After the first Phase of analysis of results a second game was developed called Dynamakr which was optimized to better produce the information desired for the project.
From the Verigames youtube page:
The Defense Advanced Research Projects Agency (DARPA) wants to help make computer software more safe and secure. DARPA's Crowd Sourced Formal Verification (CSFV) program intends to create casual computer games that can also perform formal verification of software, a process that checks that software is free from flaws that can make it operate improperly or vulnerable to misuse. - To achieve the goals of CSFV, we put together Verigames.com through the collective effort of the elite designers, mathematicians, and developers in the CSFV project, and Topcoder's community of over 500,000 registered global members. -
Demo version available: http://lbgdev.biz/circuitbot/