La fase inicial del experimento de verificación formal (CSFV, por sus siglas en inglés) de la Agencia de Proyectos de Investigación Avanzada de la Defensa del Ejército de los Estados Unidos (DARPA, por sus siglas en inglés) se lanzó en 2013. El experimento se creó para combatir los riesgos costosos y prolongados de los métodos tradicionales de verificación de códigos.
A partir de la hipótesis de que "un gran número de no expertos pueden realizar una verificación formal más rápido y más rentable que los procesos convencionales", DARPA diseñó el programa CSFV para verificar la precisión de grandes lotes de código utilizando videojuegos basados en el navegador.
El miércoles, DARPA proclamó que el programa fue un éxito y anunció la adición de cinco nuevos juegos a su línea existente. Desde el blog DARPA:
Estos juegos [2013] tradujeron las acciones de los jugadores en anotaciones de programas y ayudaron a los expertos en verificación formal a generar pruebas matemáticas para verificar la ausencia de clases importantes de fallas en los lenguajes de programación "C" y "Java". Un análisis inicial indica que los no expertos en juegos de CSFV generaron cientos de miles de anotaciones.
Los nuevos títulos incluyen rompecabezas. Dynamakr, Paradojay Fisión binaria, "juego de ciencia" Mapa fantasma hiperespacioy simulador de fantasía Prueba de monstruo. Todos los juegos CSFV de DARPA, incluidos los de la fase de proyecto 2013, están disponibles en línea en Verigames. Los jugadores deben tener 18 años de edad o más para participar.