The Defense Advanced Research Projects Agency (DARPA) recently announced a new project to use video games to help test computer software for security vulnerabilities.
The military and government use a lot of Commercial Off-the-Shelf (COTS) applications, and they need to go through a formal verification process to make sure they are free of security issues.
DARPA’s Crowd Sourced Formal Verification (CSFV) has created several games to try to make the process fast, easy and fun.
