Here’s a great article including interviews with principle scientists who are part of DARPA’s Verigames serious games project. You’ll hear from SRI’s Dr. John Murray and the University of Washington’s Dr. Michael Ernst, both major parts of serious games created to crowd source the important computer science function of formal verification using video games.

The project is coming up for completion after over three years of research. This article describes some of the important findings and some of the future implications for the work.
TriAsYouMight-Map

How playing computer games can make the world safer