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.”
