Por supuesto, estos juegos no se tratan de revisar código, de hecho ni siquiera necesitas ser un especialista en temas de informática para disfrutarlos. Xylem: The Code of Plants es uno de los 5 títulos gratuitos de esta oferta, y consiste en analizar nuevas especies de flora describiendo sus patrones de crecimiento con una fórmula matemática, la cual refleja los modelos del código. Las respuestas de los usuarios proveen pruebas que pueden verificar la ausencia de fallas o bugs, y en caso de detectarse alguna de éstas, se notificará a la organización responsable del error para que se corrija rápidamente.
La DARPA nombró a esta técnica Crowd Sourced Formal Verification (CSFV), pues permite que cualquier persona pueda participar en la verificación de código, al hacer que el proceso sea más rápido y efectivo que la forma convencional. El único requisito es ser mayor de 18 años para participar, pues se trata de un voluntariado para trabajar con la agencia de investigación.
