The Last Starfighter it ain't, but if you ever wanted to get in good with the military without getting out of your chair, the Defense Advanced Research Projects Agency has the job for you.

DARPA has created five games as part of what it is calling the Crowd Sourced Formal Verification (CSFV) program, aimed at locating software vulnerabilities in the commercial off-the-shelf IT systems used by military, governmental, and commercial bodies.

Called Verigames, they allow DARPA to crowdsource formal verification -- a time-consuming process whereby engineers usually scour the software manually to find the bugs.

"The CSFV games translate players' actions into program annotations and generate mathematical proofs to verify the absence of important classes of flaws in software written in the C and Java programming languages," DARPA explained. "CSFV aims to investigate whether large numbers of non-experts playing formal verification games can perform formal verification faster and more cost-effectively than conventional processes."

The five games can all be played online for free, and include CircuitBot, which sees you linking up a team of robots to complete an objective; Flow Jam, which sees you analyzing and adjusting an electrical circuit to maximize the flow of electricity; StormBound, in which you have to unwind streams of symbols and organize them into the most valuable configurations; Ghost Map, in which you have to navigate a one-way neural network; and Xylem, in which you have to classify plants using mathematical formulae.

Related stories

"We're seeing if we can take really hard math problems and map them onto interesting, attractive puzzle games that online players will solve for fun," said Drew Dean, DARPA program manager. "By leveraging players' intelligence and ingenuity on a broad scale, we hope to reduce security analysts' workloads and fundamentally improve the availability of formal verification."