DARPA Project Replaces Engineers with Video Game Players for Software Verification

Homeland Security Today: The Defense Advanced Research Projects Agency (DARPA) Crowd Sourced Formal Verification (CSFV) program has released videogames it said “could conceivably replace specially trained engineers with videogame players in a software security testing process known as formal verification.”

Read article