BBC News  

It is estimated there are five bugs in every thousand lines of code in commercially available software, yet only a small handful of people have the skills to do the mathematical verification process needed to confirm a piece of software is error-free. However, the U.S. Defense Advanced Research Projects Agency (DARPA) has funded a program to find ways of crowdsourcing the software verification problem. One of the solutions the program proposes is to turn the verification problem into puzzle games. One such game is Binary Fusion, developed by SRI International in partnership with the Air Force Research Laboratory and the University of California, Santa Cruz. The game presents players with colored balls that represent good and bad values. To read further, please visit http://www.bbc.com/news/business-33519194.