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…

Read more