Foreign Policy Blogs

Save a DARPA Researcher, Play a Video Game


Ancient gaming system not included.

In an effort to speed up the “formal verification”—the process of checking whether a design or model adheres to a certain set of requirements—the Defense Advanced Research Projects Agency (DARPA) wants you to play online games.

DARPA’s Crowd Sourced Formal Verification (CSFV) project, as per their website, “seeks to replace the intensive work done by the domain experts by greatly decreasing the skill required to do Formal Verification” by turning the underlying mathematical concepts into easy-to-digest video games. The project, Verigames, provides users with five games to choose from, featuring some images that look like they were ripped off from a Dungeons and Dragons textbook.

Help the post-sequester Defense Department out. Play “Flow Jam.”



Hannah Gais

Hannah is assistant editor at the Foreign Policy Association, a nonresident fellow at Young Professionals in Foreign Policy and the managing editor of Her work has appeared in a number of national and international publications, including Al Jazeera America, U.S. News and World Report, First Things, The Moscow Times, The Diplomat, Truthout, Business Insider and Foreign Policy in Focus.

Gais is a graduate of Hampshire College in Amherst, Mass. and the Institute for Orthodox Christian Studies, where she focused on Eastern Christian Theology and European Studies. You can follow her on Twitter @hannahgais